The Vectorisation Monad (1994)

by Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
Venue:PASCO'94: First International Symposium on Parallel Symbolic Computation