Browse by Journal
![]() | See full list of headings |
Jump to: C
Number of items: 1.
C
Clark, Tony (1996) Formal basis for the refinement of rule based transition systems. Journal of Functional Programming, 6 (2) . pp. 329-354. ISSN 0956-7968 [Article] (doi:10.1017/S0956796800001702)