… of product line refinement that assures behavior preservation of the original … of product line refinement, establishing refinement properties that justify … refinement transformation templates. These templates can be used to reason about …
TCS, (0), 2012. [doi]… We give a canonical program refinement calculus based on the lambda calculus … and semantics. The intention is to construct a metalanguage for refinement in which basic … be possible to induce a refinement calculus in a generic manner from a programming …
PhD thesis, University of Edinburgh, July 1999. [doi]