db/conf/pos/Weihl85.html William E. Weihl Linguistic Support for Atomic Data Types. 145-173 POS/POS85I/P145.pdf 1985 conf/pos/1985inf Data Types and Persistence (Appin), Informal Proceedings db/conf/pos/pos85.html#Weihl85