Events in Computation (1980)

by Glynn Winskel