1. Anderson, S. and Hudak, P., “Compilation of Haskell Array Comprehensions for Scientific Computing,” inProc. SIGPLAN '90 Conference on Programming Language Design and Implementation, ACM Press, New York, N. Y., 1990.
2. Arro, H., Barklund, J. and Bevemyr, J., “Parallel Bounded Quantification—Preliminary Results,” ACM SIGPLAN Notices, 28, pp. 117–124, 1993.
3. Barklund, J. and Bevemyr, J., “Prolog with Arrays and Bounded Quantifications,” inProc. 4th International Conference on Logic Programming and Automated Reasoning (A. Voronkov, ed.), Springer-Verlag, Berlin, 1993.
4. Barklund, J. and Bevemyr, J., “Executing Bounded Quantifications on Shared Memory Multiprocessors,” inProc. 4th International Symposium on Programming Language Implementation and Logic Programming (J. Penjaam, ed.), Springer-Verlag, Berlin, 1993.
5. Barklund, J. and Millroth, H., “Nova Prolog,”UPMAIL Technical Report, 52, Computing Science Department Uppsala University, 1988.