On the Origin of Recursive Procedures. - VAN DEN HOVE, GAUTHIER (Computer Journal, 2015)