Carl Binding Wiet Bouma Michel Dauphin Günter Karjoth Yan Yang A Common Compiler for LOTOS and SDL Specifications. 668-690 1992 31 IBM Systems Journal 4 db/journals/ibmsj/ibmsj31.html#BindingBDKY92