Algebra of Programming in Agda: Dependent Types for Relational Program Derivation (Journal of Functional Programming, 2009)

(untitled) - Mu, S; Ko, H; Jansson, P