The vectorisation monad (1994)

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