Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings - Teodor Rus ((Lecture Notes in Computer Science))