Richard B. Kieburtz Precise Typing of Abstract Data Type Specifications. 109-116 1983 POPL db/conf/popl/popl83.html#Kieburtz83