Principles of good software specification and their implications for specification languages (1979)

by R BALZER, N GOLDMAN
Venue:In Proceedings of the Conference on Specifications for Reliable Software