SDL – Formal Object-Oriented Language for Communicating Systems (1997)

by J Ellsberger, D Hogrefe, A Sarma