Abstract Data Type Specification in the AFFIRM System (1980)

by D R Musser
Venue:IEEE Trans. Software Eng