An inconsistency in procedures, parameters, and substitution in the refinement calculus
scientific article; zbMATH DE number 1383797