Definable operation in general algebras, and the theory of automata and flowcharts (1984)

by H Bekič
Venue:In Programming Languages and Their Definition, volume 177 of LNCS