An Interactive Programming Environment for LOTOS. - Paul de Jager; Willem Jonker; Albert Wammes; Johan Wester (FORTE, 1990)