Wilfried H. P. van Hulzen LOTTE - A LOTOS Environment. 61-65 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#Hulzen88