Computer Assisted Manipulation of Algebraic Process Specifications (2001)

by J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser