"Kleene Modules."

Thorsten Ehm, Bernhard Möller, Georg Struth (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics