Specification and implementation of atomic data types (1984)

by W Weihl