Distributed application support: Survey and synthesis of existing approachesA Schill1990Information and Software TechnologyPaper
Education in formal methods for software engineeringJohn Wordsworth1987Information and Software TechnologyPaper