Specification and implementation of atomic data types (0)

by W E Weihl
Venue:Massachusetts Inst. Technol., Lab. Comput. Sci., Tech. Rep