Brink, Chris Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtz94 (Publisher version)
Brink, C., Britz, K., & Schmidt, R. A. (1994). Peirce Algebras. Formal Aspects of Computing, 6(3), 339-358. doi:10.1007/BF01215410.