Peter van Eijk Tools for LOTOS Specification Style Transformation. 43-51 1989 conf/forte/1989 FORTE db/conf/forte/forte1989.html#Eijk89