Enn Tyugu Language and example of knowledge-based programming. 59-72 1985 conf/aii/1985 Mathematical Methods of Specification and Synthesis of Software Systems db/conf/aii/aii1985.html#Tyugu85