Shingo Nomura;Toru Hasegawa;Takashi Takizuka
-;-;-
A common compiler for LOTOS and SDL specifications
IBM Systems Journal