Case studies in process specification and verification - Mulder, Johannes C. (1990)
Amsterdam, Univ., Diss.