Exploring Summation and Product Operators in the Refinement Calculus (1994)

Cached

Download Links

by R. J. R. Back , M. J. Butler
Venue:Mathematics of Program Construction
Citations:19 - 10 self