Mechanizing unity (1990)

by D M Goldschlag
Venue:In Proceedings of IFIP TC2 Working Conference on Programming Concepts and Methods. Elsevier Science Publishers