Franz Puntigam Type Specifications with Processes. 143-158 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#Puntigam95