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. [Copy count : 1, currently available 1, at library only 0]