Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - Rus, Teodor; Rus, Teodor (Springer Berlin Heidelberg : Imprint: Springer, 2000)