@misc(specware,
 author       = "James McDonald and John Anton",
 year         = "2001",
 title        = "SPECWARE - Producing Software Correct by Construction",
)
@inproceedings(swords,
 author       = "Sol Swords and William R. Cook",
 year         = "2006",
 title        = "Soundness of the Simply Typed Lambda Calculus in ACL2",
 booktitle    = "Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications",
 series       = "ACL2 '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "35--39",
 doi          = "10.1145/1217975.1217982",
)