Using Assertions About Traces to Write Abstract Specifications for Software Modules (1978)

by W Bartussek, D L Parnas
Venue:Lecture Notes in Computer Science 65