Codex IPR by G. van Claster & H. Houtte