Colin J. Fidge, Peter Robinson, Steve Dunne. Refinement Laws for Verifying Library Subroutine Adaptation. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 224-232, IEEE Computer Society, 2005. [doi]
Abstract is missing.