Marcelo P. Fiore, Kohei Honda: Recursive Types in Games: Axiomatics and Process Representation. LICS 1998: 345-356