Proofs with graphs

Brien, 1992, A time-interval calculus, Vol. 669

Brown, 1994, Categories, allegories and circuit design, 372

Freyd, 1990

Hoare, 1985

Hutton, 1994

Kleene, 1956, Representation of events in nerve nets and finite automata, 3

Lyndon, 1950, The representation of relational algebras, Ann. Math., 51, 707, 10.2307/1969375

Lyndon, 1956, The representation of relational algebras, II, Ann. Math., 63, 294, 10.2307/1969611

Tarski, 1941, On the calculus of relations, J. of Symbolic Logic, 6, 73, 10.2307/2268577

van Karger, 1995, Sequential calculus, Inform. Process. Lett., 53, 123, 10.1016/0020-0190(94)00205-D