Substitution: A formal methods case study using monads and transformations (1994)

Cached

Download Links

by Françoise Bellegarde , James Hook
Citations:19 - 3 self