Categories for Synchrony and Asynchrony (1995)

by J.R.B. Cockett, D. A. Spooner