S. Riddle P. Wallis Denotational Semantics and Refinement. 1997 conf/iwfm/1997 IWFM db/conf/iwfm/iwfm1997.html#RiddleW97