Izdaja: Winskel, Glynn (University of Cambridge)