A new approach to abstract data types II. Computations on ADTs as ordinary computation (1991)

by S Feferman
Venue:Computer Science Logic, Lecture notes in Computer Science