Rus, Teodor, Algebraic methodology and software technology Teodor Rus - - Springer-Verlag, Berlin 2000 - - . Subjects--Topical Terms: Computer science Dewey Class. No.: 004 RUS-A