J. M. Barzdin Prognostication of Automata and Functions. 81-84 1971 IFIP Congress (1) db/conf/ifip/ifip71-1.html#Barzdin71