Refinement calculus：a systematic introduction

Main Authors: Back Ralph-Johan.
Group Author: (Joakim), 1955-; Wright J. von
Published: Springer,
Publication Dates: c1998.
Call Number: TP311.1-43/B126/