A Lazy, Self-optimizing Parallel Matrix Library. - Simon Govier; Paul H. J. Kelly (Functional Programming, 1995)