Recent Trends in Algebraic Development Techniques: Proc./16th Intern. Workshop, WADT 2002, Frauenchiemsee, Germany, September 2002

Б2.23, Б4.2.

Recent Trends in Algebraic Development Techniques: Proc./16th Intern. Workshop, WADT 2002, Frauenchiemsee, Germany, September 2002Ed. by Wirsing M., Pattinson D., Hennicker R..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2755.-457 p.-(Lecture Notes in Computer Science).