Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. - Todd R. Kushner; Deborah S. Eisenberg (SEKE, 1993)