Heinz Saria Heinrich Nirschl Carl Binding Mixing LOTOS and SDL Specifications. 425-439 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#SariaNB91