Zlatan Damnjanovic Elementary Functions and Loop Programs. 496-522 1994 35 Notre Dame Journal of Formal Logic 4 db/journals/ndjfl/ndjfl35.html#Damnjanovic94