Elspeth Cusack Steve Rudkin Chris Smith An Object Oriented Interpretation of LOTOS. 211-226 1989 conf/forte/1989 FORTE db/conf/forte/forte1989.html#CusackRS89