Process algebra and structured operational semantics - Groote, Jan F. (Centrum voor Wiskunde en Informatica, 1991)
Zugl.: Amsterdam , Univ., Diss., 1991