Brink, Chris Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Brink, C., Britz, K., & Schmidt, R. A. (1994). Peirce Algebras. Formal Aspects of Computing, 6(3), 339-358.