Convex polyominoes and algebraic languages
An algebraic theory of recursive definitions and recursive languages