by M. Nivat
This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June…