Towards a Formal Framework to Compare Protocol Interpretations and Task Specifications. - Pieter Geelen; Zsófia Ruttkay; Jan Treur (EKAW, 1992)