Algebraic methodology and software technology - Alagar, V S .; Nivat, Maurice . (New York : Springer, 1995)
Keywords: Algebraic methodology; Software technology