Procedure parameters can imitate sequence concatenation. - Keith McC. Clarke (ACM SIGPLAN Notices, 1989)

The Vectorisation Monad. - Jonathan M. D. Hill; Keith M. Clarke; Richard Bornat (PASCO, 1994)

Parallelizing Imperative Functional Programs: the Vectorization Monad. - Jonathan M. D. Hill; Keith M. Clarke; Richard Bornat (J. Symb. Comput., 1996)