Using LOTOS in a Design Environment. - Mark Vigder; Raymond J. A. Buhr (FORTE, 1991)