Abstract Data Type Specifications in the Affirm System (1979)

by D R Musser
Venue:Proceedings, Specifications of Reliable Software Conference, IEEE