Henry McLoughlin, Kevin Hely. Teaching formal programming to first year computer science students. In John Impagliazzo, Elizabeth S. Adams, Karl J. Klee, editors, Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996, Philadelphia, Pennsylvania, USA, February 15-17, 1996. pages 155-159, ACM, 1996. [doi]
Abstract is missing.