Formal specification as a design tool (1980)

by J Guttag, J Horning
Venue:in ‘Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages’, ACM