BARSTOW, David R. Knowledge-based program construction. New York : North Holland, 1979. 262 s. Programming languages series 6, The computer science library. ISBN 0-444-00340-1.