Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development. - Noah S. Prywes; Amir Pnueli; S. Shastry (ACM Trans. Program. Lang. Syst., 1979)