Kalkulatsiooniteooria : õppevahend
Linnaks, Erik
1973
https://www.ester.ee/record=b1190704*est