SAFE: A Programming Language for Software Quality. - B. K. Oliver; R. Geoff Dromey (Software Quality and Productivity, 1994)