Principles of Good Software Specification and Their Implication for Specification Languages (1979)

by R Balzer, N Goldman
Venue:Proceedings of the IEEE Conf. on Specification for Reliable Software