Towards an introductory formal programming course.

Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks

Browse the full SIGCSE paper archive.