A new approach to abstract data types (1992)

by S Feferman
Venue:I: Informal development, Mathematical Structures in Computer Science