Sjöbergand Weirich. Programming up to Congruence. Association for Computing Machinery (ACM), Jan. 2015, doi:10.1145/2775051.2676974.