Text this: Formal methods of V&V of partial specifications an experience report / by Steve Easterbrook and Jack Callahan. [microform] :