• A knowledge-based approach to the specification-based program testingTepandi, JaakComputers and artificial intelligence = Вычислительные машины и искуственный интеллект = Pocitace a umela inteligencia1988 / p. 39-48 https://www.ester.ee/record=b1482459*est