EUREKA Solver : metoodiline juhend
Väljas, Mati
1990
https://www.ester.ee/record=b1193590*est