DS-1995-01: Brunekreef, Jacob (1995) On Modular Algebraic Protocol Specification. Doctoral thesis, University of Amsterdam.