Dahlqvist, Fredrik; Schmid, Todd; (2021) How to write a coequation. In: Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Coalgebra: Salzburg, Austria.