Computer aided program synthesis - Wood, Richard Johnston (1982)
College Park, Md., Univ., Diss., 1982. -Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.