Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
scientific article; zbMATH DE number 3511569