KLEENE ALGEBRAS ARE ALMOST UNIVERSAL - Adams, M; Priestley, H (1986)