Operational and denotational semantics for the box algebra - Best, Eike 1951-; Koutny, Maciej (Inst. für Informatik, 1995)
Literaturverz. S. 45 - 46