An inconsistency in procedures, parameters, and substitution in the refinement calculus (1999)

by A Cavalcanti, A Sampaio, J Woodcock
Venue:Science of Computer Programming