Algebraic Methodology and Software Technology (AMAST’93) - heftet, Engelsk, 1993