F. Vivarès Modelling Jackson's Programming Method. 173-204 1993 20 Sci. Comput. Program. 3 db/journals/scp/scp20.html#Vivares93