Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings
scientific article; zbMATH DE number 1461734