Towards an introductory formal programming course
Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks · ACM SIGCSE Bulletin · 1994
The course material is outlined and the role of the software environment for teaching this material is sketched. This paper aims to get timely feedback from colleagues with similar or related views and/or experience.