On the Jacopini technique
scientific article; zbMATH DE number 1097813
scientific article