B. Jacobs, E. Moggi, and T. Streicher. Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 197-218. Springer, (1991)
G. van Heerdt, B. Jacobs, T. Kappé, and A. Silva. It's All About Coordination, volume 10865 of Lecture Notes in Computer Science, page 139-159. Springer, (2018)