Tools for FDTs - Quemada, Juan (North Holland, 1993)
Keywords: Software Engineering; Softwarewerkzeug; LOTOS -- Programmiersprache; Kommunikationsprotokoll; Formale Spezifikationstechnik