About Implementation of Primitive Recursive Algorithms.

Philippe Andary Bruno Patrou Pierre Valarcher About Implementation of Primitive Recursive Algorithms. 77-90 2005 conf/asm/2005 Abstract State Machines http://www.univ-paris12.fr/lacl/dima/asm05/andary.ps db/conf/asm/asm2005.html#AndaryPV05