Kalkulatsiooniteooria : õppevahendLinnaks, Erik1973 https://www.ester.ee/record=b1190704*est