Judith Segal. Some Problems with Context in Formal Reasoning. In Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1997, Sheffield, UK, January 3-5, 1997. pages 12, Psychology of Programming Interest Group, 1997. [doi]