Abramskyand Zvesper. From Lawvere to Brandenburger-keisler: Interactive Forms of Diagonalization and Self-reference. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-32784-1_1.