WINSKEL, G. An Introduction to Event Structures. DAIMI Report Series, v. 18, n. 278, 1 Apr. 1989.