Definable operations in general algebras, and the theory of automata and flow charts (1984)

by H Bekič
Venue:Programming Languages and Their Definition - Hans Bekič (1936-1982), volume 177 of Lecture Notes in Computer Science