Paul de Jager Willem Jonker Albert Wammes Johan Wester An Interactive Programming Environment for LOTOS. 581-584 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#JagerJWW90