Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998

Б2.2, Б2.4, Б3.5, Б2.1.

Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998Ed. by Fiadeiro J. L..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1589.-341 p.-(Lecture Notes in Computer Science).