Ed Brinksma A tutorial on LOTOS. 171-194 1985 conf/pstv/1985 PSTV db/conf/pstv/pstv1985.html#Brinksma85