Some Formal Methods Papers of Interest to the UT ACL2 Seminar

Thank you to all who have contributed these references to papers in formal methods (and accompanying descriptions), many of which are classic or are survey papers. Additional contributions are most welcome!
Note: If you can find or improve URLs for any of these, or (more generally) if you find any missing reference information, please send email to Matt Kaufmann.
Some others, perhaps less in the realm of classic or survey papers: