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