The Derivation of Functional Equivalents of Imperative Programs. - Graham H. B. Roberts (ACSC, 2001)

An Online Programming Assessment Tool. - Graham H. B. Roberts; Janet Verbyla (ACE, 2003)