A calculus of program adaption and its applications
scientific article; zbMATH DE number 1508136