Authors: HILL JMD CLARKE KM BORNAT R

Citation: Jmd. Hill et al., PARALLELIZING IMPERATIVE FUNCTIONAL PROGRAMS - THE VECTORIZATION MONAD, Journal of symbolic computation, 21(4-6), 1996, pp. 561-576

Authors: FUNG P OSHEA T GOLDSON D REEVES S BORNAT R

Citation: P. Fung et al., COMPUTER TOOLS TO TEACH FORMAL REASONING, Computers and education, 27(1), 1996, pp. 59-69

Authors: FUNG P OSHEA T GOLDSON D REEVES S BORNAT R

Citation: P. Fung et al., WHY COMPUTER-SCIENCE STUDENTS FIND FORMAL REASONING FRIGHTENING, Journal of computer assisted learning, 10(4), 1994, pp. 240-250

Authors: GOLDSON D REEVES S BORNAT R

Citation: D. Goldson et al., A REVIEW OF SEVERAL PROGRAMS FOR THE TEACHING OF LOGIC, Computer journal, 36(4), 1993, pp. 373-386