Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings 1995 · ENGLISH · DJVU View details →
