DS-1994-04: Jaspars, Jan (1994) Calculi for Constructive Communication, a Study of the Dynamics of Partial States. Doctoral thesis, University of Amsterdam.