Pieter S. Kritzinger Graham Wheeler A Protocol Engineering Workstation. 53-59 1989 conf/forte/1989 FORTE db/conf/forte/forte1989.html#KritzingerW89