Products in the Refinement Calculus (1999)

Cached

Download Links

by Ralph-Johan Back , Joakim von Wright
Citations:30 - 2 self