Introductory Formal Programming Language
K.K. Lau, V.J. Bush, P.J. Jinks "Towards an Introductory Formal
Programming Course" SIGCSE Bulletin Volume 26, No.1, D. Joyce (ed),
March 1994, pp.121-125
SIGCSE94
P.J. Jinks, K.K. Lau "Teaching Beginners Formal Programming"
SEHE92
Relevant conferences: