Lad os definere [...] en ‘procedure’ som en klasse af operationer med indbyrdes determination.- Hjelmslev (1943), a pag.29