ATLAS - An Automated Software Testing System. - W. H. Jessop; J. Richard Kane; S. Roy; J. M. Scanlon (ICSE, 1976)

Ada packages and distributed systems. - W. H. Jessop (ACM SIGPLAN Notices, 1982)