Computation calculus bridging a formalization gap
scientific article; zbMATH DE number 1454812