Paul Boehm The ACT System - A Software Environment for ACT ONE Specifications. 1986 ADT db/conf/adt/adt1986.html#Boehm86