Struct Models Peano Arithmetic Olg:c C by James Schmerl, Roman Kossak & James H. Schmerl