A Formal Basis for the Refinement of Rule Based Transition Systems (1996)

Cached

Download Links

by A.N. Clark
Venue:Journal of Functional Programming
Citations:2 - 1 self