Mockingbird: A Logical Methodology for Testing. - Michael M. Gorlick; Carl Kesselman; Daniel A. Marotta; Douglas Stott Parker Jr. (J. Log. Program., 1990)