"An introductory course on programming based on formal specification and ..."

Javier Blanco et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics