Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.

Juan Quemada Santiago Pavón Angel Fernández Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. 45-54 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#QuemadaPF88