Publications Our projects have an impact in many different industries. Browse our publications to find out more Research outputs Refinement and decomposition of value-passing action systems in the refinement calculusM.J. Butler & E. Best, 1993 DOI: 10.1007/3-540-57208-2_16 Type: bookChapter PaginationPrevious pagePrevious… Page 39 Page 40 Page 41 Page 42 Page 43 Page 44