Some methods of automatic analysis and controllable transformation of programs
scientific article; zbMATH DE number 5520011
scientific article