Alagar, V S . Algebraic methodology and software technology / Textual Documents NULL. - New York : Springer , 1995. - NULL ; NULL. Subjects--Index Terms: Algebraic methodology Software technology Dewey Class. No.: 512.5 / ALG