Towards an introductory formal programming course. - Kung-Kiu Lau; Vicky J. Bush; Pete J. Jinks (SIGCSE, 1994)