B. H. Mayoh, “The Meaning of Logical Programs”, DPB, vol. 9, no. 126, Sep. 1980.