HillCB96'

@article{DBLP:journals/jsc/HillCB96,
  author    = {Jonathan M. D. Hill and
               Keith M. Clarke and
               Richard Bornat},
  title     = {Parallelizing Imperative Functional Programs: the Vectorization
               Monad},
  journal   = {J. Symb. Comput.},
  volume    = {21},
  number    = {4},
  year      = {1996},
  pages     = {561-576},
  ee        = {http://dx.doi.org/10.1006/jsco.1996.0031},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}