Wolfram Bartussek, David Lorge Parnas. Using assertions about traces to write abstract specifications for software modules. In Giampio Bracchi, Peter C. Lockemann, editors, Information Systems Methodology, Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, Italy, October 10-12, 1978. Volume 65 of Lecture Notes in Computer Science, pages 211-236, Springer, 1978.
Abstract is missing.