Mark Burgin Super-recursive Algorithms and Modes of Computation. 10:1-10:5 2015 ECSA Workshops https://doi.org/10.1145/2797433.2797443 conf/ecsa/2015w db/conf/ecsa/ecsa2015w.html#Burgin15