Algebraic Specifications in Software Engineering: An Introduction (1989)

by I Van Horebeek, J Lewi