From meta level tactics to object level programs - Horn, Christian; Smaill, Alan (University <Edinburgh>, 1994)