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

by Hans Bekić
Venue:Programming Languages and Their Definition, Lecture Notes in Computer Science 177