Specification and implementation of atomic data types (1984)

by W E WEIHL
Venue:Massa- chusetts Institute of Technology, Laboratory for Computer Science