Michal Krynicki Marcin Mostowski Konrad Zdanowski Finite Arithmetics. 183-202 2007 81 Fundam. Inform. 1-3 http://iospress.metapress.com/content/r145855447q42744/ db/journals/fuin/fuin81.html#KrynickiMZ07