Algebraic Methodology and Software Technology (AMAST’93) - häftad, Engelska, 1993