Algebraic Methodology and Software Technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 /
International Conference on Algebraic Methodology and Software Technology(2nd :1991 :Iowa City, USA)
Nivat, Maurice,1937-
London : Springer-Verlag,
1992.