Modification algebras

• G. Ramalingam ,
• Thomas Reps

Proceeding AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology | May 1991

Published by Springer-Verlag