A new approach to abstract data types II: computation on ADTs as ordinary computations (1992)

by Solomon Feferman
Venue:Computer Science Logic '91, volume 626 of Lecture Notes in Computer Science