Thomas Mayr Specification of Object-Oriented Systems in LOTOS. 107-119 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#Mayr88