Vadera, S, "Proof by analogy in mural", Formal Aspects of Computing, 1995