@techreport{sands,
	author = {D. Sands},
	title = {Complexity Analysis for a Higher-order language},
	institution = {Department of Computing, Imperial College, Technical
		Report 88/14},
	month = {December},
	year = {1988},
}

@article{p:000,
	author = {D. le Metayer},
	title = {Analysis of Functional programs by Program Transformation},
	journal = {Second France-Japan Artifical Intelligence and
		Computer Science Symposium},
	year = {1988},
	pages = { -- },
	publisher = {North-Holland},
}

@article{lemetayer,
	author = {D. le Metayer},
	title = {Mechanical Analysis of Program Complexity},
	journal = {Proceedings of the SIGPLAN '85 Symposium},
	month = {July},
	year = {1985},
	pages = {69 -- 73},
}

@mastersthesis{p:000,
	author = {M. Rosendahl},
	title = {Automatic Construction of Time Bound Programs},
	school = {University of Copenhagen},
}

@article{p:000,
	author = {P. Wadler},
	title = {Strictness Analysis aids Time Analysis},
	journal = {Proceedings of the 15th ACM Symposium on Principles
		of Programming Languages},
	month = {January},
	year = {1988},
	pages = { -- },
}

@article{p:000,
	author = {M.C. Chen},
	title = {A Parallel Language and its Compilation to
		Multiprocessor Machines or {VLSI}},
	journal = {Proceedings of the 13th Conference on Principles
		of Programming Languages},
	month = {January},
	year = {1986},
	pages = {131 -- 139},
}

@inproceedings{sheeran,
	author = {M. Sheeran},
	title = {$\mu$FP, A Language for {VLSI} Design},
	journal = {Conference Record of the 1984 ACM Symposium on
		Lisp and Functional Programming},
	city = {Austin, TX},
	month = {August},
	year = {1984},
	pages = {104 -- 112},
}

@inproceedings{sheeran:jones,
	author = {M. Sheeran and G. Jones},
	title = {Relations + Higher Order Functions = Hardware
		Descriptions},
	journal = {Compeuro 1987},
	month = {January},
	year = {1987},
}

@article{p:001,
	author = {W. Luk and G. Jones},
	title = {Parameterised Retimings of Regular Computational
		Arrays},
	booktitle= {Parallel Processing for Computer Vision and Display},
	year = {1988},
	editor = {P.M. Dew {\em et al.}},
	pages = { -- },
}

@incollection{bird:1,
	author = {R.S. Bird},
	title = {An Introduction to the Theory of Lists},
	booktitle = {Logic of Programming and Calculi of Discrete Design},
	editor = {M. Broy},
	publisher = {Springer-Verlag},
	year = {1987},
	pages = {3--42},
}

@misc{bird:2,
	author = {R.S. Bird},
	title = {A Calculus of Functions for Program Derivation},
	year = {1987},
	howpublished = {Oxford University Programming Research
		Group Monograph PRG-64},
}

@misc{bird:3,
	author = {R.S. Bird},
	title = {Lectures on Constructive Functional Programming},
	year = {1988},
	howpublished = {Oxford University Programming Research
		Group Monograph PRG-69},
}

@incollection{meertens,
	author = {L.G.L.T. Meertens},
	title = {Algorithmics -- Towards Programming as a Mathematical
		Activity},
	booktitle = {Proceedings of CWI Symposium on Mathematics and
		Computer Science},
	publisher = {North-Holland},
	year = {1986},
	pages = {289 -- 334},
}

@book{sabot:paralations,
	author = {G. Sabot},
	title = {The Paralation Model: Architecture-Independent Parallel
		Programming},
	publisher = {MIT Press},
	year = {1989},
}

@article{bird:4,
	author = {R.S. Bird},
	title = {Algebraic Identities for Program Calculation},
	journal = {The Computer Journal},
	volume = {32},
	number = {2},
	month = {February},
	year = {1989},
	pages = {122--126},
}

@article{valiant:royal,
	author = {L.G. Valiant},
	title = {Optimally Universal Parallel Computers},
	journal = {Phil. Trans. Royal Society Lond. Series {A}},
	volume = {326},
	year = {1988},
	pages = {373--376},
}

@techreport{valiant:bulk,
	author = {L.G. Valiant},
	title = {Bulk Synchronous Parallel Computers},
	institution = {Computer Science, Harvard University},
	number = {TR-08-89},
	year = {1989},
}

@incollection{valiant:long,
	author = {L.G. Valiant},
	title = {General Purpose Parallel Architectures},
	booktitle = {Handbook of Theoretical Computer Science, Vol. {A}},
	editor = {J. van Leeuwen},
	publisher = {Elsevier Science Publishers and {MIT} Press},
	year = {1990},
}

@article{mehlhorn:vishkin,
	author = {K. Mehlhorn and U. Vishkin},
	title = {Randomized and Deterministic Simulation of {PRAM}s by
		Parallel Machines with Restricted Granularity of
		Parallel Memories},
	journal = {Acta Informatica},
	volume = {21},
	year = {1984},
	pages = {339--374},
}

@article{ladner:fisher,
	author = {R.E. Ladner and M.J. Fisher},
	title = {Parallel Prefix Computation},
	journal = {Journal of the ACM},
	volume = {27},
	number = {4},
	year = {1980},
	pages = {831--838},
}

@INPROCEEDINGS{bokhari:raza,
	AUTHOR = {S.H. Bokhari and A.D. Raza},
	TITLE = {Augmenting Computer Networks},
	BOOKTITLE = {Proceedings of the 1984 International Conference
		on Parallel Processing},
	PAGES = {338--345},
	KEYWORDS = {link},
	YEAR = {1984},
	MONTH = {August},
}

@techreport{fl:report,
	author = {J. Backus and J.H. Williams and E.L. Wimmers and P. Lucas
		and A. Aiken},
	title = {{FL} Language Manual, Parts 1 and 2},
	month = {October},
	year = {1989},
	number = {RJ7100},
	institution = {IBM Almaden Research Center},
}

@article{linda:general,
	author = {S. Ahuja and N. Carriero and D. Gelernter and V. Krishnswamy},
	title = {Matching Languages and Hardware for Parallel Computation in
		the {Linda} Machine},
	journal = {IEEE Transactions on Computers},
	volume = {37, No.8},
	month = {August},
	year = {1988},
	pages = {921--929},
}

@inproceedings{dally:wills,
	author = {W.J. Dally and D.S. Wills},
	title = {Universal Mechanisms for Concurrency},
	booktitle = {PARLE '89, Parallel Architectures and Languages Europe},
	publisher = {Springer-Verlag Lecture Notes in Computer Science 365},
	month = {June},
	year = {1989},
	pages = {19--33},
}

@inproceedings{spivey,
	author = {J.M. Spivey},
	title = {A Categorical Approach to the Theory of Lists},
	publisher = {Springer-Verlag Lecture Notes in Computer Science 375},
	booktitle = {Mathematics of Program Construction},
	month = {June},
	year = {1989},
	pages = {399--408},
}

@article{backus:general,
	author = {J. Backus},
	title = {Can Programming be Liberated from the von {Neumann} style:
		A Functional Style and its Algebra of Programs},
	journal = {Communications of the {ACM}},
	volume = {21},
	number = {8},
	month = {August},
	year = {1978},
	pages = {613--641},
}

@inproceedings{backus:linear,
	author = {J. Backus},
	title = {The Algebra of Functional Programs: Function Level
		Reasoning, Linear Equations, and Extended Definitions},
	booktitle = {Formalization of Programming Concepts},
	publisher = {Springer Lecture Notes in Computer Science 107},
	address = {Peniscola, Spain},
	month = {April},
	year = {1981},
	pages = {1--43},
}

@inproceedings{back,
	author = {R.J.R. Back},
	title = {A Method for Refining Atomicity in Parallel Algorithms},
	booktitle = {{PARLE}89 Parallel Architectures and Languages
		Europe},
	series = {Springer Lecture Notes in Computer Science 366},
	month = {June},
	year = {1989},
	pages = {199--216},
}

@inproceedings{back:sere,
	author = {R.J.R. Back and K. Sere},
	title = {Stepwise Refinement of Action Systems},
	booktitle = {Mathematics of Program Construction},
	series = {Springer Lecture Notes in Computer Science 375},
	month = {June},
	year = {1989},
	pages = {115--138},
}

@book{chandy:misra,
	author = {K.M. Chandy and J. Misra},
	title = {Parallel Program Design: A Foundation},
	publisher = {Addison-Wesley},
	year = {1988},
}

@techreport{obj,
	author = {J.A. Goguen and T. Winkler},
	title = {Introducing {OBJ3}},
	institution = {Computer Science Laboratory, {SRI} International},
	number = {SRI-CSL-88-9},
	month = {August},
	year = {1988},
}

@inproceedings{kids,
	author = {D.R. Smith and M.R. Lowry},
	title = {Algorithm Theories and Design Tactics},
	publisher = {Springer-Verlag Lecture Notes in Computer Science 375},
	booktitle = {Mathematics of Program Construction},
	month = {June},
	year = {1989},
	pages = {379--398},
}

@techreport{herley,
	author = {K. Herley},
	title = {Deterministic Simulation of Shared Memory on Bounded
		Degree Networks},
	institution = {Department of Computer Science, Cornell
		University, Ithaca},
	number = {TR90-1090},
	month = {February},
	year = {1990},
	note = {Ph.D. Thesis},
}

@techreport{gao,
	author = {Feng Gao},
	title = {Towards Structured Parallel Computing Part {I}:
		A Theory of Algorithm Design and Analysis for
		Distributed-Memory Architectures},
	institution = {Computer Science Department, University
		of British Columbia},
	number = {89-27},
	month = {December},
	year = {1989},
}

@inproceedings{aiken:nicolau,
	author = {A. Aiken and A. Nicolau},
	title = {Optimal Loop Parallelization},
	booktitle = {Programming Language Design and Implementation:
		{SIGPLAN}88 Conference},
	editor = {R. Wexelblat},
	year = {1988},
	pages = {308-317},
}

@article{skillicorn:p,
	author = {D.B. Skillicorn},
	title = {Architecture-Independent Parallel Computation},
	journal = {{IEEE} Computer},
	volume = {23},
	number = {12},
	month = {December},
	year = {1990},
	pages = {38--51},
}

@inproceedings{mccoll1,
	author = {W.F. McColl},
	title = {Parallel Algorithms and Architectures},
	booktitle = {Parallel Computing 88},
	editor = {G.A. van Zee and J.G.G. van de Vorst},
	series = {Springer Lecture Notes in Computer Science 384},
	month = {June},
	year = {1988},
	pages = {1--22},
}

@article{mccoll2,
	author = {W.F. McColl},
	title = {Parallel Algorithms and Architectures},
	journal = {Computer Physics Communications},
	volume = {57},
	year = {1989},
	pages = {84--94},
}

@inproceedings{rajsekaran,
	author = {S. Rajsekaran and T. Tsantilas},
	title = {An Optimal Randomized Routing Algorithm for the
		Mesh and a Class of Efficient Mesh-like Routing
		Primitives},
	booktitle = {Foundations of Software Technology and
		Theoretical Computer Science},
	series = {Springer Lecture Notes in Computer Science 287},
	editor = {K.V. Nori},
	month = {December},
	year = {1987},
	pages = {226-241},
}

@techreport{back3,
	author = {L. St\aa hl and R.J.R. Back},
	title = {An Implementation of Multiprocess Handshaking
		on Transputer Networks},
	institution = {\AA bo Akademi, Departments of Computer Science
		and Mathematics, SF-20500 \mbox{\AA}bo, Finland},
	number = {76},
	year = {1989},
}

@techreport{back4,
	author = {M. Aspn\"{a}s and R.J.R. Back and R. Kurki-Suonio},
	title = {An Implementation of Multiprocess Handshaking
		on Broadcasting Networks},
	institution = {\AA bo Akademi, Departments of Computer Science
		and Mathematics, SF-20500 \AA bo, Finland},
	number = {75},
	year = {1989},
}

@techreport{back5,
	author = {R.J.R. Back and K. Sere},
	title = {Deriving an {O}ccam Implementation of Action
		Systems},
	institution = {\AA bo Akademi, Departments of Computer Science
		and Mathematics, SF-20500 \AA bo, Finland},
	number = {99},
	year = {1990},
}

@phdthesis{ranade:thesis,
	title = {Fluent Parallel Computation},
	author = {A.G. Ranade},
	school = {Yale University},
	year = {1989},
}

@inproceedings{blelloch1,
	author = {G. Blelloch},
	title = {Scans as Primitive Parallel Operations},
	booktitle = {Proceedings of the International Conference
		on Parallel Processing},
	month = {August},
	year = {1987},
	pages = {355--362},
}

@book{hoare:csp,
	author = {C.A.R. Hoare},
	title = {Communicating Sequential Processes},
	publisher = {Prentice-Hall International Series in
		Computer Science},
	year = {1985},
}

@inproceedings{vitanyi2,
	author = {P.M.B. Vit\'{a}nyi},
	title = {Nonsequential Computation and the Laws of Nature},
	booktitle = {{VLSI} Algorithms and Architectures, Aegean Workshop
		on Computing},
	series = {Springer Lecture Notes in Computer Science, 227},
	month = {July},
	year = {1986},
	pages = {108--120},
}

@inproceedings{lubachevsky,
	author = {B.D. Lubachevsky and A.G. Greenberg},
	title = {Simple, Efficient Aysnchronous Parallel Prefix
		Algorithms},
	booktitle = {Proceedings of the International Conference on
		Parallel Processing},
	month = {August},
	year = {1987},
	pages = {66--69},
}

@misc{chin,
	author = {A. Chin},
	title = {On the Design of Algorithms for General Purpose
		Parallel Computers},
	journal = {},
	volume = {},
	month = {},
	year = {1990},
	pages = {},
}

@article{kruskal:rudolph:snir,
	author = {C.P. Kruskal and L. Rudolph and M. Snir},
	title = {A Complexity Theory of Efficient Parallel Algorithms},
	journal = {Theoretical Computer Science},
	volume = {71},
	year = {1990},
	pages = {95--132},
}

@article{aggarwal:chandra:snir,
	author = {A. Aggarwal and A.K. Chandra and M. Snir},
	title = {Communication Complexity of {PRAM}s},
	journal = {Theoretical Computer Science},
	volume = {71},
	year = {1990},
	pages = {3--28},
}

@article{anderson:miller,
	author = {R.J. Anderson and G.L. Miller},
	title = {A Simple Randomized Parallel Algorithm for List-Ranking},
	journal = {Information Processing Letters},
	volume = {33},
	month = {January 10},
	year = {1990},
	pages = {269--273},
}

@article{cole:vishkin,
	author = {R. Cole and U. Vishkin},
	title = {Faster Optimal Parallel Prefix Sums and List Ranking},
	journal = {Information and Control},
	volume = {81},
	year = {1989},
	pages = {334--352},
}

@inproceedings{alt,
	author = {H. Alt and T. Hagerup and K. Mehlhorn and F.P. Preparata},
	title = {Deterministic Simulation of Idealized Parallel Computers
		on More Realistic Ones},
	booktitle = {Parallel Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 269},
	month = {May},
	year = {1987},
	pages = {11--24},
}

@inproceedings{herath,
	author = {J. Herath and T. Yuba and N. Saito},
	title = {Dataflow Computing},
	booktitle = {Parallel Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 269},
	month = {May},
	year = {1987},
	pages = {25--36},
}

@inbook{anderson:miller,
	author = {R.J. Anderson and G.L. Miller},
	title = {Deterministic List Ranking},
	booktitle = {{VLSI} Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 319},
	month = {June},
	year = {1988},
	pages = {81--90},
}

@inproceedings{cole:vishkin:awoc,
	author = {R. Cole and U. Vishkin},
	title = {Optimal Parallel Algorithms for Expression Tree
		Evaluation and List Ranking},
	booktitle = {{VLSI} Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 319},
	month = {June},
	year = {1988},
	pages = {91--100},
}

@inproceedings{kosaraju:delcher,
	author = {S.R. Kosaraju and A.L. Delcher},
	title = {Optimal Parallel Evaluation of Tree-Structured Computations
		by Raking},
	booktitle = {{VLSI} Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 319},
	month = {June},
	year = {1988},
	pages = {101--110},
}

@inproceedings{furer,
	author = {M. F\"{u}rer},
	title = {Universal Hashing in {VLSI}},
	booktitle = {{VLSI} Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 319},
	month = {June},
	year = {1988},
	pages = {312--318},
}

@inproceedings{aggarwal:huang,
	author = {A. Aggarwal and M.-D. A. Huang},
	title = {Network Complexity of Sorting and Graph Problems
		and Simulating {CRCW PRAM}s by Interconnection Networks},
	booktitle = {{VLSI} Algorithms and Architectures},
	series = {Springer Lecture Notes in Computer Science 319},
	month = {June},
	year = {1988},
	pages = {339--350},
}

@inproceedings{abrahamson,
	author = {K. Abrahamson and N. Dadoun and D.G. Kirkpatrick
		and T. Przytycka},
	title = {A Simple Parallel Tree Contraction Algorithm},
	booktitle = {Proceedings of the Twenty-Fifth {A}llerton
		Conference on Communication, Control and Computing},
	month = {September},
	year = {1987},
	pages = {624--633},
}

@article{skillicorn:taxonomy,
	author = {D.B. Skillicorn},
	title = {A Taxonomy for Computer Architectures},
	journal = {{IEEE} Computer},
	volume = {21},
	month = {November},
	year = {1988},
	pages = {46--57},
}

@inproceedings{kelsey:hudak,
	author = {R. Kelsey and P. Hudak},
	title = {Realistic Compilation by Program Transformation},
	booktitle = {Conference Record of the Sixteenth Annual {ACM}
		Symposium on Principles of Programming Languages},
	month = {January},
	year = {1989},
	pages = {281--292},
}

@inproceedings{hey,
	author = {A.J.G. Hey},
	title = {Experiments in {MIMD} Parallelism},
	booktitle = {{PARLE}89, Parallel Architectures and Languages
		Europe},
	series = {Springer Lecture Notes in Computer Science 366},
	month = {June},
	year = {1989},
	pages = {28--42},
}

@article{vitter:simons,
	author = {J.S. Vitter and R.A. Simons},
	title = {New Classes for Parallel Complexity: A Study of
		Unification and Other Complete Problems for $P$},
	journal = {{IEEE} Transactions on Computers},
	volume = {C-35},
	month = {May},
	year = {1986},
	pages = {403--418},
}

@techreport{sere,
	author = {K. Sere},
	title = {Transforming Communication Topology in Distributed
		Algorithms},
	institution = {\AA bo Akademi, Departments of Computer Science
		and Mathematics, SF-20500 \AA bo, Finland},
	number = {67},
	year = {1988},
}


@techreport{back6,
	author = {R.J.R. Back},
	title = {Refinement Calculus Part {II}: Parallel and Reactive
		Programs},
	institution = {\AA bo Akademi, Departments of Computer Science
		and Mathematics, SF-20500 \AA bo, Finland},
	number = {93},
	year = {1989},
}

@inproceedings{polychronopoulos,
	author = {M. Gikar and C. Polychronopoulos},
	title = {Compiling Issues for Supercomputers},
	booktitle = {Supercomputing 88},
	month = {November},
	year = {1988},
	pages = {164--173},
}

@article{valiant:cacm,
	author = {L.G. Valiant},
	title = {A Bridging Model for Parallel Computation},
	journal = {Communications of the {ACM}},
	volume = {33},
	number = {8},
	month = {August},
	year = {1990},
	pages = {103--111},
}

@article{vitanyi,
	author = {P.M.B. Vit\'{a}nyi},
	title = {Locality, Communication and Interconnect Length
		in Multicomputers},
	journal = {{SIAM} Journal of Computing},
	volume = {17},
	number = {4},
	month = {August},
	year = {1988},
	pages = {659--672},
}

@techreport{plaxton,
	author = {C.G. Plaxton},
	title = {Efficient Computation on Sparse Interconnection
		Networks},
	institution = {Department of Computer Science, Stanford
		University},
	number = {STAN-CS-89-1283},
	month = {September},
	year = {1989},
}

@misc{bird:theorem,
	author = {R.S. Bird},
	howpublished = {private communication},
	year = {1988},
}

@inproceedings{alverson,
	author = {R. Alverson and D. Callahan and D. Cummings and
		B. Koblenz and A. Porterfield and B. Smith},
	title = {The {T}era Computer System},
	booktitle = {1990 International Conference on Supercomputing},
	address = {Amsterdam},
	organization = {{ACM} Press},
	month = {June},
	year = {1990},
	pages = {1--6},
	note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}

@inproceedings{chan,
	author = {T. Chan},
	title = {Hierarchical Algorithms and Architectures for
		Parallel Scientific Computing},
	booktitle = {1990 International Conference on Supercomputing},
	address = {Amsterdam},
	organization = {{ACM} Press},
	month = {June},
	year = {1990},
	pages = {318--329},
	note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}

@inproceedings{gerasoulis,
	author = {A. Gerasoulis and S. Venugopal and T. Yang},
	title = {Clustering Task Graphs for Message Passing
		Architectures},
	booktitle = {1990 International Conference on Supercomputing},
	address = {Amsterdam},
	organization = {{ACM} Press},
	month = {June},
	year = {1990},
	pages = {447--456},
	note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}

@inproceedings{hey:amsterdam,
	author = {A.J.G. Hey},
	title = {Supercomputing with {T}ransputers--Past, Present and Future},
	booktitle = {1990 International Conference on Supercomputing},
	address = {Amsterdam},
	organization = {{ACM} Press},
	month = {June},
	year = {1990},
	pages = {479--490},
	note = {Appeared as Computer Architecture News, Vol. 18, No. 3},
}

@techreport{knoblock,
	author = {T.B. Knoblock},
	title = {A Formal Metalanguage for {N}uprl},
	institution = {University of Michigan, Computer Science and
		Engineering},
	number = {CSE-TR-10-88},
	year = {1988},
}

@inproceedings{miller:reif,
	author = {G.L. Miller and J. Reif},
	title = {Parallel Tree Contraction and its Application},
	booktitle = {26th {IEEE} Symposium on Foundations of
		Computer Science},
	year = {1985},
	pages = {478--489},
}

@inproceedings{tarjan:vishkin,
	author = {R.E. Tarjan and U. Vishkin},
	title = {Finding Biconnected Components and Computing Tree
		Functions in Logarithmic Parallel Time},
	booktitle = {25th {IEEE} Symposium on Foundations of
		Computer Science},
	year = {1984},
	pages = {12--22},
}

@article{bal2,
	author = {H.E. Bal and A.S. Tanenbaum and M.F. Kaashoek},
	title = {Orca: A Language for Distributed Processing},
	journal = {{SIGPLAN} Notices},
	volume = {25},
	number = {5},
	month = {May},
	year = {1990},
	pages = {17--24},
}

@incollection{gazit,
	author = {H. Gazit and G.L. Miller and S.-H. Teng},
	title = {Optimal Tree Contraction in the {EREW} Model},
	booktitle = {Concurrent Computations: Algorithms, Architecture
		and Technology},
	editor = {S.K. Tewksbury and B.W. Dickinson and S.C. Schwartz},
	publisher = {Plenum Press},
	year = {1987},
	pages = {139--156},
}

@incollection{karp:ramachandran,
	author = {R.M. Karp and V. Ramachandran},
	title = {Parallel Algorithms for Shared-Memory Machines},
	booktitle = {Handbook of Computer Science},
	editor = {J. van Leeuwen},
	publisher = {MIT Press/Elsevier},
	year = {1992},
}

@article{knobe:lukas:steele,
	author = {K. Knobe and J.D. Lukas and G.L. Steele},
	title = {Data Optimization: Allocation of Arrays to Reduce
		Communication on {SIMD} Machines},
	journal = {Journal of Parallel and Distributed Computing},
	volume = {8},
	year = {1990},
	pages = {102--118},
}

@article{kuzmaul,
	author = {B.C. Kuzmaul},
	title = {Fast, Deterministic Routing on Hypercubes, Using Small
		Buffers},
	journal = {{IEEE} Transactions on Computers},
	volume = {C-39, No. 11},
	month = {November},
	year = {1990},
	pages = {1390--1393},
}

@techreport{albert,
	author = {E. Albert and K. Knobe and J. Lukas and G.L. Steele},
	title = {Compiling {F}ortran 8x Features for the {C}onnection
		{M}achine Computer System},
	institution = {Compass},
	year = {1988},
	number = {CA-8801-0401},
	note = {Also appeared in {SIGPLAN} Notices, Volume 23, September 1988},
}

@techreport{knobe:natarajan,
	author = {K. Knobe and V.K. Natarajan},
	title = {Data Optimization: Minimizing Residual Interprocessor
		Data Motion on {SIMD} Machines},
	institution = {Compass},
	year = {1990},
	number = {CA-9006-2001},
	note = {Also appeared in 3rd Symp. on Frontiers of Massively
		Parallel Computation, October, 1990},
}

@techreport{knobe,
	author = {K. Knobe and J. Lukas and G.L. Steele},
	title = {Massively Parallel Data Optimization},
	institution = {Compass},
	year = {1988},
	number = {CA-8810-1401},
	note = {Also appeared in 2nd Symp. on Frontiers of Massively
		Parallel Computation, October, 1988},
}

@inproceedings{prins,
	author = {J.F. Prins},
	title = {A Framework for Efficient Execution of Array-Based
		Languages and {SIMD} Computers},
	booktitle = {3rd Symposium on the Frontiers of Massively
		Parallel Computation},
	year = {1990},
	organization = {{IEEE}},
}

@article{quinn:hatcher,
	author = {M.J. Quinn and P.J. Hatcher},
	title = {Data-Parallel Programming on Multicomputers},
	journal = {{IEEE} Software},
	month = {September},
	year = {1990},
	pages = {69--76},
}

@article{dally:2,
	author = {W.J. Dally},
	title = {Express Cubes: Improving the Performance of 
		k-ary n-cube Interconnection Networks},
	journal = {{IEEE} Transactions on Computers},
	volume = {40, No.9},
	month = {September},
	year = {1990},
	pages = {1016--1023},
}

@misc{horwat,
	author = {W. Horwat and B. Totty and W.J. Dally},
	title = {{COSMOS}: An Operating System for a Fine-Grain
		Concurrent Computer},
	year = {1990},
}

@techreport{goldman,
	author = {K.J. Goldman},
	title = {Paralation Views: Abstractions for Efficient Scientific
		Computing on the {C}onnection {M}achine},
	institution = {M.I.T. Laboratory for Computer Science},
	number = {MIT/LCS/TM398},
	year = {1989},
}

@misc{martin:nipkow,
	author = {U. Martin and T. Nipkow},
	title = {Automating {S}quiggol},
	year = {1990},
	howpublished = {Jerusalem Working Group 2.3 Meeting},
}

@article{cj,
	author = {D.B. Skillicorn},
	title = {Practical Concurrent Programming for Parallel
		Machines},
	journal = {The Computer Journal},
	volume = {34, No. 4},
	pages = {302--310},
	year = {1991},
}

@inproceedings{noakes:dally,
	author = {M.O. Noakes and W.J. Dally},
	title = {System Design of the {J}-{M}achine},
	booktitle = {Proceedings of the Sixth {MIT} Conference on
		Advanced Research in {VLSI}},
	publisher = {{MIT} Press},
	year = {1990},
	pages = {179-194},
}

@misc{horwat,
	author = {W. Horwat and A. Chien and W.J. Dally},
	title = {{COSMOS}: An Operating System for a Fine-Grain Concurrent
		Computer},
	howpublished = {{MIT CVA} memo},
	year = {1990},
}

@techreport{antonelli:baiardi,
	author = {S. Antonelli and F. Baiardi and S. Pelegatti and
		M. Vanneschi},
	title = {Communication Cost and Process Mapping in Massively
		Parallel Systems: A Static Approach},
	institution = {Dipartimento di Informatica, Universita di Pisa},
	number = {12/89},
	year = {1989},
}

@techreport{antonelli:pelagatti,
	author = {S. Antonelli and S. Pelagatti},
	title = {On the Complexity of the Mapping Problem for
		Massively Parallel Architectures},
	institution = {Dipartimento di Informatica, Universita di Pisa},
	number = {5/91},
	year = {1991},
}

@inproceedings{antonelli:baiardi:pelagatti,
	author = {S. Antonelli and F. Baiardi and S. Pelegatti and
		M. Vanneschi},
	title = {A Static Approach to Process Mapping in Massively
		Parallel Systems},
	booktitle = {Parallel Processing},
	editor = {M. Cosnard and M.H. Barton and M. Vanneschi},
	publisher = {Elsevier Science Publishers B.V.},
	year = {1988},
}

@book{agha,
	author = {G. Agha},
	title = {{A}ctors: A model of Concurrent
		Computation in Distributed Systems},
	publisher = {{MIT} Press},
	year = {1986},
}

@INPROCEEDINGS{smith:hep,
	AUTHOR = {B.J. Smith},
	TITLE = {A Pipelined, Shared Resource {MIMD} Computer},
	BOOKTITLE = {Proceedings of the International Conference on
		Parallel Processing},
	PAGES = {6--8},
	YEAR = {1978},
	MONTH = {August},
}

@inproceedings{blelloch:sabot,
	author = {G.E. Blelloch and G.W. Sabot},
	title = {Compiling Collection-Oriented Languages onto
		Massively-Parallel Computers},
	booktitle = {Proceedings of the 2nd Symposium on the Frontiers
		of Massively Parallel Computation},
	year = {1988},
	pages = {575--585},
}

@article{blelloch:sabot2,
	author = {G.E. Blelloch and G.W. Sabot},
	title = {Compiling Collection-Oriented Languages onto
		Massively-Parallel Computers},
	journal = {Journal of Parallel and Distributed Computing},
	year = {1990},
	pages = {119--134},
}
@inproceedings{blelloch:chatterjee,
	author = {G.E. Blelloch and S. Chatterjee},
	title = {{VCODE}: A Data-Parallel Intermediate Language},
	booktitle = {Proceedings of the 3rd Symposium on the Frontiers
		of Massively Parallel Computation},
	month = {October},
	year = {1990},
	pages = {471--480},
}

@inproceedings{warp,
	author = {H.T. Kung},
	title = {{Warp} Experience: We can Map Computations Onto a
		Parallel Computer Efficiently},
	booktitle = {International Conference on Supercomputing},
	month = {June},
	publisher = {{ACM}},
	year = {1988},
	pages = {668--675},
}

@techreport{danelutto,
	author = {M. Danelutto and R. Di Meglio and S. Pelagatti
		and M. Vanneschi},
	title = {High Level Language Constructs for Massively Parallel
		Computing},
	institution = {Hewlett Packard Pisa Science Center, HPL-PSC-90-19},
	year = {1990},
}

@techreport{danelutto5,
	author = {M. Danelutto and M. Vanneschi},
	title = {Timed Semantics},
	institution = {Hewlett Packard Pisa Science Center, HPL-PSC-90-6},
	year = {1990},
}

@techreport{danelutto2,
	author = {M. Danelutto and S. Pelagatti
		and M. Vanneschi},
	title = {High Level Languages for Easy Massively Parallel
		Computing},
	institution = {Hewlett Packard Pisa Science Center, HPL-PSC-91-16},
	year = {1991},
}

@inproceedings{baiardi:danelutto,
	author = {F. Baiardi and M. Danelutto and M. Jazayeri and S. Pelagatti
		and M. Vanneschi},
	title = {Architectural Models and Design Methodologies for 
		General-Purpose Highly-Parallel Computers},
	booktitle = {{IEEE} CompEuro 91 -- Advanced Computer Technology,
		Reliable Systems and Applications},
	month = {May},
	year = {1991},
}

@book{cole:book,
	author = {M. Cole},
	title = {Algorithmic Skeletons: Structured Management of Parallel
		Computation},
	publisher = {Pitman},
	series = {Research Monographs in Parallel and Distributed
		Computing},
	year = {1989},
}

@techreport{heywood:ranka1,
	author = {T. Heywood and S. Ranka},
	title = {A Practical Hierarchical Model of Parallel
		Computation: The Model},
	institution = {School of Computer and Information Science,
		Syracuse University},
	number = {SU-CIS-91-06},
	year = {1991},
}

@techreport{heywood:ranka2,
	author = {T. Heywood and S. Ranka},
	title = {A Practical Hierarchical Model of Parallel
		Computation: Binary Tree and {FFT} Graph
		Algorithms},
	institution = {School of Computer and Information Science,
		Syracuse University},
	number = {SU-CIS-91-07},
	year = {1991},
}

@book{blelloch:book,
	author = {G.E. Blelloch},
	title = {Vector Models for Data-Parallel Computing},
	publisher = {{MIT} Press},
	year = {1990},
}

@article{buhr,
    keywords	= {concurrency, light-weight process, shared memory},
    contributer	= {pabuhr@msg},
    author	= {Peter A. Buhr and Richard A. Stroobosscher},
    title	= {The $\mu${S}ystem: Providing Light-Weight 
		Concurrency on Shared-Memory Multiprocessor 
		Computers Running {UNIX}},
    journal	= {Software Practice and Experience},
    volume	= 20,
    number	= 9,
    month	= {September},
    year	= 1990,
    pages	= {929--963},
}

@techreport{usystem,
    keywords	= {concurrency},
    author	= {Peter A. Buhr and Hamish I. Macdonald 
		and Richard A. Stroobosscher},
    title	= {$\mu${S}ystem Reference Manual, Version 4.3.3},
    institution	= {Department of Computer Science, University of Waterloo},
    address	= {Waterloo, Ontario, Canada, N2L 3G1},
    month	= {March},
    year	= 1991,
}

@phdthesis{mullin,
	author= "L. M. R. Mullin",
	title= "A Mathematics of Arrays",
	school= "Syracuse University",
	year= 1988,
	type= "Doctoral dissertation",
	address= "Syracuse, N.Y.",
	month= "December"
}

@techreport{wills:thesis,
	author = {D.S. Wills},
	title = {Pi: A Parallel Architecture Interface for Multi-Model
		Execution},
	institution = {{MIT} Artificial Intelligence Laboratory},
	number = {AI-TR-1245},
	year = {1990},
}

@inproceedings{torre:kruskal,
	author = {P. de la Torre and C.P. Kruskal},
	title = {Towards a Single Model of Efficient Computation in
		Real Parallel Machines},
	booktitle = {Parallel Architectures and Languages Europe PARLE91,
		Vol. I},
	publisher = {Springer Lecture Notes in Computer Science},
	month = {June},
	year = {1991},
	pages = {6--24},
	note = {Also appeared in Future Generation Computer Systems,
		Vol.8, No.4, September 1992, 395},
}

@inproceedings{danelutto3,
	author = {M. Danelutto and M. Vanneschi},
	title = {{VLIW}-in-the-Large: A Model for Fine Grain Parallelism
		Exploitation on Distributed Memory Multiprocessors},
	booktitle = {Proceedings of the 23rd Annual Workshop on
		Microprogramming and Microarchitecture},
	month = {November},
	year = {1990},
	pages = {7--16},
}

@inproceedings{danelutto4,
	author = {M. Danelutto},
	title = {Extending the {VLIW} Approach to Fine Grain Parallelism
		Exploitation Beyond Single Control Unit Machines},
	booktitle = {Proceedings of the Fifth International Symposium on
		Computer and Information Sciences},
	volume = {I},
	year = {1990},
}

@phdthesis{danelutto:thesis,
	author = {M. Danelutto},
	title = {A Massively Parallel Architecture Using {VLIW}
		for Fine Grain Parallelism Exploitation},
	school = {Dipartimento di Informatica, Universit\`{a} di Pisa},
	month = {March},
	year = {1990},
}

@inproceedings{hagino,
	author = {T. Hagino},
	title = {A Typed Lambda Calculus with Categorical Type
		Constructors},
	booktitle = {Category Theory and Computer Science},
	editor = {D.H. Pitt and A. Poign\'{e} and D.E. Rydeheard},
	publisher = {Springer Lecture Notes in Computer Science, 283},
	year = {1987},
	pages = {140--157},
}

@phdthesis{mullin:thesis,
	author = {L.M.R. Mullin},
	title = {A Mathematics of Arrays},
	school = {Syracuse University},
	month = {December},
	year = {1988},
}

@inproceedings{faust,
	author = {J.E. Faust and H.M. Levy},
	title = {The Performance of an Object-Oriented Threads
		Package},
	booktitle = {{OOPSLA} {ECOOP}90 Proceedings},
	editor = {N. Meyrowitz},
	month = {October},
	year = {1990},
	pages = {278--288},
	publisher = {{SIGPLAN} Notices, Vol 25, No. 10},
}

@inproceedings{hains,
	author = {G. Hains},
	title = {Multidimensional Arrays as Parallel Data Structures},
	booktitle = {Abstract Machine Models for Highly Parallel
		Computers},
	address = {University of Leeds, U.K.},
	month = {March},
	year = {1991},
}

@misc{hains:mullin,
	author = {G. Hains and L.M.R. Mullin},
	title = {An Algebra of Multidimensional Arrays},
	howpublished = {preprint},
	year = {1991},
}

@misc{mullin:hains,
	author = {L.M.R. Mullin and G. Hains},
	title = {New Parallel Optimizations for Monolithic Arrays},
	howpublished = {preprint},
	month = {May},
	year = {1991},
}

@phdthesis{malcolm:thesis,
	author = {G. Malcolm},
	title = {Algebraic Data Types and Program Transformation},
	school = {Rijksuniversiteit Groningen},
	month = {September},
	year = {1990},
}

@article{rahbi,
	author = {F.A. Rahbi and G.A. Manson},
	title = {Experiments with a Transputer-based Parallel
		Graph Reduction Machine},
	journal = {Concurrency Practice and Experience},
	year = {to appear},
}

@book{kelly,
	author = {P. Kelly},
	title = {Functional Programming for Loosely-Coupled Multiprocessors},
	publisher = {Pitman},
	year = {1989},
}

@incollection{alice,
	author = {J. Darlington and M. Cripps and T. Field and P.G. Harrison
		and M.J. Reeve},
	title = {The Design and Implementation of {ALICE}: a parallel
		graph reduction machine},
	booktitle = {Selected Reprints on Dataflow and Reduction
		Architectures},
	publisher = {IEEE Computer Society Press},
	editor = {S.S. Thakkar},
	year = {1987},
}

@techreport{grip,
	author = {S.L. Peyton-Jones and C. Clack and N. Harris},
	title = {{GRIP} -- a Parallel Graph Reduction Machine},
	institution = {Department of Computer Science, University
		of London},
	year = {1987},
}

@article{ultra,
	author = {A. Gottlieb {\em et al.}},
	title = {The {NYU} {U}ltracomputer -- Designing an
		{MIMD} Shared Memory Parallel Computer},
	journal = {{IEEE} Transactions on Computers},
	volume = {C-32},
	month = {February},
	year = {1983},
	pages = {175--189},
}

@article{gottlieb,
	author = {A. Gottlieb and B. Lubachevsky and L. Rudolph},
	title = {Basic Techniques for the Efficient Coordination of
		Large Numbers of Cooperating Sequential Processes},
	journal = {{ACM} Transactions of Programming Languages and
		Systems},
	volume = {5},
	number = {2},
	month = {April},
	year = {1983},
	pages = {},
}

@book{jones:goldsmith,
	author = {G. Jones and M. Goldsmith},
	title = {Programming in Occam2},
	publisher = {Prentice-Hall},
	year = {1988},
}

@techreport{cole2,
	author = {M. Cole},
	title = {Towards Fully Local Multicomputer Implementations
		of Functional Programs},
	institution = {Department of Computing Science, University of
		Glasgow},
	number = {CS90/R7},
	month = {January},
	year = {1990},
}

@inproceedings{baude:naquet,
	author = {F. Baude and G. Vidal-Naquet},
	title = {Actors as a Parallel Programming Model},
	booktitle = {Proceedings of 8th Symposium on Theoretical Aspects
		of Computer Science},
	publisher = {Springer Lecture Notes in Computer Science 480},
	year = {1991},
	pages = {},
}

@inproceedings{more:apl,
	author = {T. More},
	title = {The Nested Rectangular Array as a Model of Data},
	booktitle = {Proceedings of APL 79, APL Quote Quad},
	number = {4},
	year = {1979},
}

@techreport{more1,
	author = {T. More},
	title = {Notes on the Diagrams, Logic, and Operations of Array Theory},
	institution = {IBM Cambridge Scientific Center},
	number = {G230-2137},
	year = {1981},
}

@techreport{more2,
	author = {T. More},
	title = {On the Development of Array Theory},
	institution = {IBM Cambridge Scientific Center Technical Report},
	year = {1986},
}

@inproceedings{wadler:theorems,
	author = {P. Wadler},
	title = {Theorems for Free},
	booktitle = {Functional Programming Languages and
		Computer Architecture Conference Proceedings},
	month = {September},
	year = {1989},
	pages = {347--359},
}

@article{bal,
	author = {H.E. Bal and J.G. Steiner and A.S. Tanenbaum},
	title = {Programming Languages for Distributed Computing
		Systems},
	journal = {Computing Surveys},
	volume = {21},
	number = {3},
	month = {September},
	year = {1989},
	pages = {261--322},
}

@inproceedings{nicolau,
	author = {A. Nicolau and H. Wang},
	title = {Optimal Schedules for Parallel Prefix Computation
		with Bounded Resources},
	booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
		and Pratics of Parallel Programming},
	month = {April},
	year = {1991},
	pages = {1--10},
}

@inproceedings{ju,
	author = {D.-c. Ju and W.-M. Ching},
	title = {Exploitation of {APL} Data Parallelism on a Shared Memory
		{MIMD} Machine},
	booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
		and Pratics of Parallel Programming},
	month = {April},
	year = {1991},
	pages = {61--72},
}

@inproceedings{hatcher,
	author = {P.J. Hatcher and A.J. LaPadula and R.R. Jones andM.J. Quinn
		and R.J. Anderson},
	title = {A Production-Quality {C}$\star$ Compiler for Hypercube
		Multicomputers},
	booktitle = {Third {ACM} {SIGPLAN} Symposium on Principles
		and Pratics of Parallel Programming},
	month = {April},
	year = {1991},
	pages = {73--82},
}

@booklet{goguen:rrm,
	author = {J. Goguen and S. Leinwand and J. Meseguer and T. Winkler},
	title = {The {R}ewrite {R}ule {M}achine 1988},
	howpublished = {Oxford University Computing Laboratory, Programming
		Research Group, Technical Monograph PRG-76},
	year = {1989},
}

@inproceedings{agrawal,
	author = {A. Agarwal and G.E. Blelloch and R.L. Krawitz and
		C.A. Phillips},
	title = {Four Vector-Matrix Primitives},
	booktitle = {Proceedings of the 1989 {ACM} Symposium on
		Parallel Algorithms and Architectures},
	month = {June},
	year = {1989},
	pages = {292--302},
}

@techreport{skillicorn:comparison,
	author = {D.B. Skillicorn},
	title = {Practical Parallel Computation: {I} Models
		of Computation},
	institution = {Department of Computing and Information
		Science, Queen's University, Technical Report
		91-312},
	year = {1991},
}

@techreport{skillicorn:cdt,
	author = {D.B. Skillicorn},
	title = {Practical Parallel Computation: {II} Categorical
		Data Types},
	institution = {Department of Computing and Information
		Science, Queen's University, Technical Report
		91-313},
	year = {1991},
}

@article{skillicorn:ijpp,
	author = {D.B. Skillicorn},
	title = {Models for Practical Parallel Computation},
	journal = {International Journal of Parallel Programming},
	month = {April},
	year = {1991},
	volume = {20},
	number = {2},
	pages = {133--158},
	note = {Actually appeared in 1992},
}


@article{brent,
	author = {R.P. Brent},
	title = {The Parallel Evaluation of General Arithmetic
		Expressions},
	journal = {Journal of the {ACM}},
	volume = {21, No.2},
	month = {April},
	year = {1974},
	pages = {201--206},
}

@book{morgan:book,
	author = {C. Morgan},
	title = {Programming from Specifications},
	publisher = {Prentice-Hall International},
	year = {1990},
}

@article{blum,
	author = {M. Blum},
	title = {A Machine-Independent Theory of the Complexity of
		Recursive Functions},
	journal = {J. of the ACM},
	volume = {14, No.2},
	year = {1967},
	pages = {322--336},
}

@article{kids2,
	author = {D.R. Smith},
	title = {{KIDS}: A Semiautomatic Program Development
		System},
	journal = {{IEEE} Transactions on Software Engineering},
	volume = {16, No.9},
	month = {September},
	year = {1990},
	pages = {1024--1043},
}

@article{smith,
	author = {D.R. Smith},
	title = {Structure and Design of Global Search Algorithms},
	journal = {Acta Informatica},
	volume = {},
	month = {},
	year = {to appear},
	pages = {},
}

@incollection{smith2,
	author = {D.R. Smith},
	title = {{KIDS} - A Knowledge-Based Software Development System},
	booktitle = {Automating Software Design},
	publisher = {{AAAI} Press},
	year = {1991},
	pages = {},
}

@techreport{costs,
	author = {D.B. Skillicorn},
	title = {Deriving Parallel Programs from Specifications Using
		Cost Information},
	institution = {Queen's University, Department of Computing
		and Information Science, TR-91-316},
	month = {September},
	year = {1991},
}

@article{skillicorn:cost,
	author = {D.B. Skillicorn},
	title = {Deriving Parallel Programs from Specifications Using
		Cost Information},
	journal = {Science of Computer Programming},
	year = {to appear},
}

@article{struik,
	author = {P. Struik},
	title = {A Systematic Design of a Parallel Program for
		{D}irichlet Convolution},
	journal = {Science of Computer Programming},
	volume = {15},
	year = {1990},
	pages = {185--200},
}

@article{kmp,
	author = {R.S. Bird and J. Gibbons and G. Jones},
	title = {Formal Derivation of a Pattern Matching Algorithm},
	journal = {Science of Computer Programming},
	volume = {12},
	year = {1989},
	pages = {93--104},
}

@phdthesis{coffin:thesis,
	author = {M.H. Coffin},
	title = {{PAR}: An Approach to Architecture-Independent Parallel
		Programming},
	school = {Department of Computer Science, University of
		Arizona},
	year = {1990},
}

@inproceedings{harris:cole,
	author = {T.J. Harris and M.I. Cole},
	title = {The Parameterized {PRAM}},
	booktitle = {International Parallel Processing Symposium},
	month = {},
	year = {submitted},
	pages = {},
}

@misc{vaidyanathan,
	author = {R. Vaidyanathan and C.R.P. Hartmann and
		P.K. Varshney},
	title = {{PRAM}s with Variable Memory Word-Size},
	journal = {preprint},
	volume = {},
	month = {},
	year = {},
	pages = {},
}

@misc{vaidyanathan,
	author = {R. Vaidyanathan and C.R.P. Hartmann and
		P.K. Varshney},
	title = {Parallel Computing with Small Processors},
	journal = {preprint},
	volume = {},
	month = {},
	year = {},
	pages = {},
}

@phdthesis{baude:thesis,
	author = {F. Baude},
	title = {Utilisation du Paradigme Acteur pour le Calcul
		Parall\`{e}le},
	school = {Universit\'{e} de Paris-Sud},
	year = {1991},
}

@techreport{verwer,
	author = {N. Verwer},
	title = {Categorical Semantics as a Basis for Program
		Transformation},
	institution = {Utrecht University, Department of Computer
		Science},
	year = {1990},
	number = {RUU-CS-90-38},
}

@techreport{dactl,
	author = {J.R. Glauert and J.R. Kennaway and M.R. Sleep},
	title = {{DACTL}: A Computational Model and Compiler Target
		Language Based on Graph Reduction},
	institution = {University of East Anglia},
	number = {SYS-C87-03},
	year = {1987},
}

@misc{ease,
	author = {Steven Ericsson Zenith},
	title = {Programming with {E}ase},
	howpublished = {Centre de Recherche en Informatique,
		\'{E}cole Nationale Sup\'{e}rieure des Mines de Paris},
	year = {September 20, 1991},
}


@phdthesis{heywood:thesis,
        author = {T.H. Heywood},
        title = {A Practical Hierarchical Model of Parallel Computation},
        school = {School of Computer and Information Science, Syracuse
                University},
        month = {November},
        year = {1991},
        note = {Appears as Technical Report SU-CIS-91-39}
}

@phdthesis{meijer:thesis,
        author = {E. Meijer},
        title = {Calculating Compilers},
        school = {Katholieke Universiteit Nijmegen},
        year = {1992},
}

@techreport{lindalike,
        author = {G.V. Wilson (Ed.)},
        title = {Linda-Like Systems and their Implementation},
        institution = {Edinburgh Parallel Computing Centre},
        number = {91-13},
        year = {1991},
}

@inproceedings{zenith:edinburgh,
        author = {S. Ericsson Zenith},
        title = {The Axiomatic Characterization of {Ease}},
        booktitle = {Linda-Like Systems and their Implementation},
        publisher = {Edinburgh Parallel Computing Centre, TR91-13},
        year = {1991},
        pages = {143--152},
}

@misc{banger,
        author = {C. Banger},
        howpublished = {Private communication},
        year = {1991},
}

@inproceedings{cai:skillicorn,
        author = {W. Cai and D.B. Skillicorn},
        title = {Evaluation of a Set of Message-Passing Routines
                in Transputer Networks},
        booktitle = {Proceedings of the WoTUG 92 World Transputer
                Users Group, ``Transputer Systems -- Ongoing Research"},
        editor = {A.R. Allen},
        month = {April},
        city = {Aberdeen},
        year = {1992},
        publisher = {IOS Press},
        pages = {24--36},
}

@article{recurrences,
        author = {W. Cai and D.B. Skillicorn},
        title = {Calculating Recurrences Using the 
                {B}ird-{M}eertens {F}ormalism},
        journal = {Science of Computer Programming},
        volume = {},
        month = {},
        year = {submitted March 1992},
        pages = {},
}

@article{codegen,
        author = {D.B. Skillicorn and W. Cai},
        title = {Equational Code Generation},
        journal = {},
        volume = {},
        month = {},
        year = {submitted},
        pages = {},
}

@book{gibbons:thesis,
        author = {J. Gibbons},
        title = {Algebras for Tree Algorithms},
        publisher = {D.Phil. thesis, Programming Research Group, 
                University of Oxford},
        year = {1991},
}

@INPROCEEDINGS{ccc,
        AUTHOR = {F.P. Preparata and J. Vuillemin},
        TITLE = {The Cube-connected Cycles: A Versatile Network for
                Parallel Computation},
        BOOKTITLE = {Proceedings of 20th Annual IEEE Symp. on
                Foundations of Computer Science},
        YEAR = {1979},
}

@article{bellegarde,
        author = {F. Bellegarde},
        title = {Rewriting Systems on {FP} Expressions to reduce the
                Number of Sequences Yielded},
        journal = {Science of Computer Programming},
        volume = {6},
        year = {1986},
        pages = {11--34},
}

@inproceedings{antonelli:etc,
        author = {S. Antonelli and F. Baiardi
                and S. Pelagatti and M. Vanneschi},
        title = {Modeling Concurrent Programs for
                Static Mapping},
        booktitle = {Parallel Computing '91},
        month = {September},
        year = {1991},
        pages = {},
}

@techreport{chin2,
        author = {A. Chin},
        title = {General Purpose Parallel Computers: Algorithms and
                Complexity},
        institution = {Programming Research Group, Oxford University},
        number = {PRG-TR-9-90},
        year = {1990},
}


@techreport{chin3,
        author = {A. Chin},
        title = {Locality-Preserving Hash Functions for General Purpose
                Parallel Computation},
        institution = {Programming Research Group, Oxford University},
        number = {PRG-TR-9-91},
        year = {1991},
}


@techreport{chin4,
        author = {A. Chin},
        title = {Permutations on the Block {PRAM}},
        institution = {Programming Research Group, Oxford University},
        number = {PRG-TR-8-91},
        year = {1991},
}


@techreport{chin5,
        author = {A. Chin},
        title = {Latency Hiding for Fault-Tolerant {PRAM} Computations},
        institution = {Programming Research Group, Oxford University},
        number = {PRG-TR-21-90},
        year = {1990},
}

@misc{charity,
        author = {R. Cockett and T. Fukushima},
        title = {About {CHARITY}},
        howpublished = {University of Calgary preprint},
        year = {1991},
}

@inproceedings{Sands:ESOP90+,
  author =      "D. Sands",
  title =       "Complexity Analysis for a Lazy Higher-Order Language",
  booktitle =   {Proceedings of the Third European Symposium on Programming},
  publisher =   {Springer-Verlag},
  year =        {1990},
  month =       "May",
  number =      "432",
  series =      "{L}{N}{C}{S}",
  note =        {}
}

@PhDThesis{Sands:PhDthesis,
  author =      "D. Sands",
  title =       "Calculi for Time Analysis of Functional Programs",
  school =      "Imperial College",
  year =        "1990",
  OPTaddress =  "",
  month =       "September",
  OPTnote =     ""
}

@inproceedings{Sands:FSTandTCS,
  author =      "D. Sands",
  title =       "Time Analysis, Cost Equivalence and Program Refinement",
  booktitle =   "Proceedings of the Eleventh Conference on Foundations
                 of Software Technology and Theoretical Computer Science",
  year =        "1991",
  pages =       "25--39",
  publisher =   "Springer-Verlag Lecture Notes in Computer Science 560",
  month =       "December"
}

@InProceedings{HuntSands:PEPM91,
  author =      "S. Hunt  and D. Sands",
  title =       "Binding Time Analysis: A New PERspective",
  booktitle =   "Proceedings of the {A}{C}{M} 
Symposium on Partial Evaluation and Semantics-Based Program Manipulation",
  year =        "1991",
  month =       "September",
  note =        "ACM SIGPLAN Notices 26(9)"
}

@InProceedings{Sands:GFPW91,
  author =      "D. Sands",
  title =       "Operational Theories of Improvement in Functional Languages
                 (Extended Abstract)",
  booktitle =   "Proceedings of the Fourth {G}lasgow Workshop on
                 Functional Programming",
  year =        "1991",
  publisher =   "{\em To appear:} {S}pringer Workshop Series"
}

@article{skillicorn:cost2,
        author = {D.B. Skillicorn and W. Cai},
        title = {A Cost Calculus for Parallel Functional
                Programming},
        journal = {},
        volume = {},
        month = {submitted},
        year = {1992},
        pages = {},
        note = {Also appears as Department of Computer
                Science Technical Report 92-329},
}

@article{linda-kernel,
  author="N. Carriero and D. Gelernter",
  title="The {S/N}et's {L}inda Kernel",
  journal="ACM Transactions on Computer Systems",
  volume=4, number=2, pages="110--129",
  month=May, year=1986
}

@inproceedings{global-buffer,
  author="D. Gelernter and A. Berstein",
  title="Distributed Communication via a Global Buffer",
  booktitle="ACM Symposium on Principles of Distributed Computing",
  month=aug, year=1982, pages="10--18"
}

@article{linda,
  author="D. Gelernter",
  title={Generative Communication in {L}inda},
  journal="ACM Transactions on Programming Languages and Systems",
  volume=7, number=1, pages="80--112",
  year=1985
}
   
@inproceedings{applications-linda,
  author="Nicholas Carriero and David Gelernter",
  title="Application Experience with {L}inda",
  booktitle="ACM/SIGPLAN Symposium on Parallel Programming",
  month=jul, year=1988
}

@inproceedings{dynamic-global-namespace,
  author="David Gelernter",
  title="Dynamic Global Name spaces on Network Computers",
  booktitle="International Conference on Parallel Processing",
  month=aug, year=1984
}

@techreport{ts-imp,
    author="Nicholas Carriero",
    title="Implementation of Tuple Space Machines",
    institution="Dept. of Computer Science, Yale University",
    note="Research Report YALEU/DCS/RR-567",
    month=dec, year=1987
}

@inproceedings{hummel:hummel,
        author = {S. Flynn Hummel and R. Hummel},
        title = {Massively Parallel Programming with
                Sets},
        booktitle = {},
        volume = {},
        month = {},
        year = {},
        pages = {},
}

@inproceedings{hummel:kelly:hummel,
        author = {R. Hummel and R. Kelly and S. Flynn
                Hummel},
        title = {A Set-Based Language for Prototyping
                Parallel Algorithms},
        booktitle = {Proceedings of the Computer
                Architecture for Machine Perception '91
                Conference},
        month = {December},
        year = {1991},
        pages = {},
}

@inproceedings{chen:cowie,
        author = {M. Chen and J. Cowie},
        title = {Prototyping {F}ortran-90 Compilers for Massively
                Parallel Machines},
        booktitle = {ACM SIGPLAN '92 Conference on Programming Language
                Design and Implementation},
        month = {June},
        year = {1992},
        pages = {94--105},
}

@article{lincoln,
        author = {P. Lincoln},
        title = {Linear Logic: Guest Logic Column},
        journal = {SIGACT News},
        volume = {23, No.2},
        month = {Spring},
        year = {1992},
        pages = {29--37},
}

@article{harrison:while,
        author = {P.G. Harrison and R.L. While},
        title = {Transformation of Polynomial Evaluation to a Pipeline
                via {H}orner's {R}ule},
        journal = {},
        volume = {},
        month = {},
        year = {1992},
        pages = {},
}

@inproceedings{darlington:field,
        author = {J. Darlington and A.J. Field and P.G. Harrison and
                P.H.J. Kelly and Q. Wu and R.L. While},
        title = {Parallel Programming Using Skeleton Functions},
        booktitle = {PARLE93, Parallel Architectures and Languages
                Europe},
        volume = {},
        month = {June},
        year = {1993},
        pages = {},
}

@inproceedings{jouret,
        author = {G.K. Jouret},
        title = {Compiling Functional Languages for {SIMD} Architectures},
        booktitle = {Third IEEE Symposium on Parallel and Distributed
                Languages},
        volume = {},
        month = {December},
        year = {1991},
        pages = {},
}

@article{danelutto:fgcs,
        author = {M. Danelutto and R. di Meglio and S. Orlando and
                S. Pelagatti and M. Vanneschi},
        title = {A Methodology for the Development and the Support of
                Massively Parallel Programs},
        journal = {Future Generation Computer Systems},
        volume = {},
        month = {},
        year = {1992},
        pages = {},
        note = {Also appears as ``The $P^3L$ language: an introduction",
                Hewlett-Packard Report HPL-PSC-91-29, December 1991},
}

@inproceedings{keckler:dally,
        author = {S.W. Keckler and W.J. Dally},
        title = {Processor Coupling: Integrating Compile Time and
                Runtime Scheduling for Parallelism},
        booktitle = {Proceedings of the 19th Annual International Symposium
                on Computer Architecture},
        month = {May},
        year = {1992},
        pages = {202--213},
}

@article{dally:aoki,
        author = {W.J. Dally and H. Aoki},
        title = {Deadlock-Free Adaptive Routing in Multicomputer Networks
                Using Virtual Channels},
        journal = {IEEE Transactions on Parallel and Distributed Systems},
        volume = {4, No.4},
        month = {April},
        year = {1993},
        pages = {466},
}

@article{dally:et:al,
        author = {W.J. Dally and J.A.S. Fiske and J.S. Keen and R.A. Lethin 
                and M.D. Noakes and P.R. Nuth and R.E. Davison and G.A. Fyler},
        title = {The Message-Driven Processor},
        journal = {IEEE Micro},
        month = {April},
        year = {1992},
        pages = {23--39},
}

@article{sharp:cripps,
        author = {D. Sharp and M. Cripps},
        title = {Parallel Algorithms that Solve Problems
                by Communication},
        booktitle = {Third IEEE Symposium on Parallel
                and Distributed Processing},
        month = {December},
        year = {1991},
        pages = {},
}

@inproceedings{bacci,
        author = {B. Bacci and E. Chiti and M. Danelutto and M. Vanneschi},
        title = {Evaluating the {VLIW}-in-the-large Computing Model},
        booktitle = {MICRO25},
        volume = {},
        month = {},
        year = {},
        pages = {},
}

@article{hummel,
        author = {S. Flynn Hummel and R. Kelly},
        title = {A Rationale for Parallel Programming with Sets},
        journal = {Journal of Programming Languages},
        volume = {},
        month = {},
        year = {to appear},
        pages = {},
}

@article{snyder,
        author = {L. Snyder},
        title = {Type Architectures, Shared Memory and the Corollary
                of Modest Potential},
        journal = {Annual Review of Computer Science 1986},
        volume = {1},
        year = {1987},
        pages = {289--317},
}

@inproceedings{berman:snyder,
        author = {F. Berman and L. Snyder},
        title = {On Mapping Parallel Algorithms into Parallel Architectures},
        booktitle = {International Conference on Parallel Processing},
        month = {August},
        year = {1984},
        pages = {307--309},
}

@inproceedings{banger:atable,
        author = {C. Banger},
        title = {Arrays with Categorical Type Constructors},
        booktitle = {ATABLE'92 Proceedings of a Workshop
                and Arrays},
        month = {June},
        year = {1992},
        pages = {105--121},
}

@misc{mackie:paper,
        author = {I. Mackie},
        title = {{Lilac}: a Functional Programming Language Based on
                Linear Logic},
        publisher = {Department of Computing, Imperial College of
                Science and Technology, London},
        month = {June},
        year = {1992},
}

@mscthesis{mackie:thesis,
        author = {I. Mackie},
        title = {{Lilac}: A Functional Programming Language Based on
                Linear Logic},
        school = {Department of Computing, Imperial College of
                Science and Technology, London},
        month = {September},
        year = {1991},
}

@article{abramsky:tcs,
        author = {S. Abramsky},
        title = {Computational Interpretations of Linear Logic},
        journal = {Theoretical Computer Science},
        volume = {111},
	number = {1/2},
        month = {April},
        year = {1993},
        pages = {3},
}

@inproceedings{boiten,
        author = {E.A. Boiten},
        title = {Intersections of Sets and Bags of Extended
                Substructures--A Class of Problems},
        booktitle = {Proceedings of the IFIP TC2 Working Conference
                on Constructing Programs from Specifications},
        editor = {B. M\"{o}ller},
        publisher = {North-Holland},
        month = {May},
        year = {1991},
        pages = {34--49},
}

@inproceedings{gerbessiotis:valiant,
        author = {A.V. Gerbessiotis and L.G. Valiant},
        title = {Direct Bulk-Synchronous Parallel Algorithms},
        booktitle = {Proceedings of the Third Scandinavian Workshop
                on Algorithm Theory},
        series = {Springer Lecture Notes in Computer Science},
        volume = {},
        month = {July},
        year = {1992},
        pages = {},
}

@inproceedings{blelloch:dags,
        author = {G.E. Blelloch},
        title = {Programming Parallel Algorithms},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {11--18},
}

@inproceedings{hatcher2,
        author = {P.J. Hatcher},
        title = {The Joy of Data-Parallel Programming},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {19--30},
}

@inproceedings{nyland:prins,
        author = {L.S. Nyland and J.F. Prins},
        title = {Prototyping Parallel Algorithms},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {31--39},
        note = {Proteus},
}

@inproceedings{mou,
        author = {Z.G. Mou and A.J. Huang and T. Hickey},
        title = {Parallel Recurrence Transformation},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {63--73},
}

@inproceedings{leiserson,
        author = {C.E. Leiserson {\em et al.}},
        title = {The Network Architecture of the {C}onnection
                {M}achine {CM-5}},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {101--114},
}

@inproceedings{rothnie,
        author = {J. Rothnie},
        title = {Kendall {S}quare {R}esearch Introduction to the {KSR1}},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {200--210},
}

@inproceedings{kilian:dags,
        author = {M.F. Kilian},
        title = {Can {O-O} Aid Massively Parallel Programming?},
        booktitle = {Proceedings of the Dartmouth Institute for Advanced
                Graduate Study in Parallel Computation Symposium},
        place = {Hanover, N.H.},
        editor = {D.B. Johnson and F. Makedon and P. Metaxas},
        month = {June},
        year = {1992},
        pages = {246--256},
}

@phdthesis{kilian:thesis,
        author = {M.F. Kilian},
        title = {Parallel {S}ets: An Object-Oriented Methodology for
                Massively Parallel Programming},
        school = {Harvard University},
        year = {1992},
}

@book{spivey:z,
        author = {J.M. Spivey},
        title = {Understanding Z: A Specification Language and its Formal
                Semantics}, 
        publisher = {Cambridge University Press}, 
        year = {1988},
}

@book{vdm:book,
        author = {D. Bj\o rner and C. Jones},
        title = {The {V}ienna {D}evelopment {M}ethod},
        publisher = {Springer Lecture Notes in Computer Science 61},
        year = {1978},
}

@inproceedings{king,
        author = {S. King},
        title = {{Z} and the {R}efinement {C}alculus},
        booktitle = {VDM'90: VDM and Z -- Formal Methods in 
                Software Development},
        series = {Springer Lecture Notes in Computer Science 428},
        month = {April},
        year = {1990},
        pages = {164--188},
}

@inproceedings{banatre:lemetayer,
        author = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        title = {Introduction to {G}amma},
        booktitle = {Research Directions in High-Level Parallel Programming
                Languages},
        place = {Mont Saint-Michel, France},
        editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        publisher = {Springer Lecture Notes in Computer Science 574},
        month = {June},
        year = {1991},
        pages = {197--202},
}

@inproceedings{mussat,
        author = {L. Mussat},
        title = {Parallel Programming with Bags},
        booktitle = {Research Directions in High-Level Parallel Programming
                Languages},
        place = {Mont Saint-Michel, France},
        editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        publisher = {Springer Lecture Notes in Computer Science 574},
        month = {June},
        year = {1991},
        pages = {203--218},
}

@inproceedings{creveuil,
        author = {C. Creveuil},
        title = {Implementation of {G}amma on the {C}onnection {M}achine},
        booktitle = {Research Directions in High-Level Parallel Programming
                Languages},
        place = {Mont Saint-Michel, France},
        editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        publisher = {Springer Lecture Notes in Computer Science 574},
        month = {June},
        year = {1991},
        pages = {219--230},
}

@inproceedings{zenith:linda:workshop,
        author = {S. Ericsson Zenith},
        title = {A Rationale for Programming with {E}ase},
        booktitle = {Research Directions in High-Level Parallel Programming
                Languages},
        place = {Mont Saint-Michel, France},
        editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        publisher = {Springer Lecture Notes in Computer Science 574},
        month = {June},
        year = {1991},
        pages = {147--156},
}

@inproceedings{meseguer:winkler,
        author = {J. Meseguer and T. Winkler},
        title = {Parallel Programming in {M}aude},
        booktitle = {Research Directions in High-Level Parallel Programming
                Languages},
        place = {Mont Saint-Michel, France},
        editor = {J.P. Ban\^{a}tre and D. Le M\'{e}tayer},
        publisher = {Springer Lecture Notes in Computer Science 574},
        month = {June},
        year = {1991},
        pages = {253--293},
}

@Article{DRAM,
  author =      "Charles E. Leiserson and Bruce M. Maggs",
  title =       "Communication-Efficient Parallel Algorithms for
                 Distributed Random-Access Machines",
  journal =     "Algorithmica",
  year =        "1988",
  volume =      "3",
  pages =       "53-77",
}

@inproceedings{he:contraction,
  author =      "X. He",
  title =       "Efficient Parallel Algorithms for Solving Some Tree Problems",
  booktitle =   "Proceedings of 24th {A}llerton Conference on
                 Communication, Control and Computing",
  year =        "1986",
  pages =       "777-786",
}

@inproceedings{list:ranking,
  author =      "R. Cole and U. Vishkin",
  title =       "Approximate and Exact Parallel Scheduling with
                 Applications to List, Tree and Graph Problems",
  booktitle =   "27th IEEE Symposium on Foundations of Cmputer Science",
  year =        "1986",
  pages =       "478-491",
}

@book{gibbons:book,
  author =      "Alan Gibbons and Wojciech Rytter",
  title =       "Efficient Parallel Algorithms",
  publisher =   "Cambridge University Press",
  year =        "1988",
}

@inproceedings{gibbons:contraction,
  author =      "A. Gibbons and W. Rytter",
  title =       "An Optimal Parallel Algorithm for Dynamic Tree
                 Expression Evaluation and its Applications",
  booktitle =   "Proceedings of the Symposium on Foundations of
                 Software Technology and Theoretical Computer Science",
  year =        "1986",
  pages =       "453-469",
}

@article{kogge:stone,
  author =      "Peter M. Kogge and Harold S. Stone",
  title =       "A Parallel Algorithm for the Efficient Solution of a
                 General Class of Recurrence Equations",
  journal =     "IEEE Transactions on Computers",
  year =        "1973",
  volume =      "c-22",
  number =      "8",
  pages =       "786-792",
}

@book{hatcher:quinn:book,
        author = {P.J. Hatcher and M.J. Quinn},
        title = {Data-Parallel Programming on {MIMD} Computers},
        publisher = {MIT Press},
        year = {1991},
}

@article{walters,
        author = {R.F.C. Walters},
        title = {Data Types in Distributive Categories},
        journal = {Bulletin of the Australian Mathematical Society},
        volume = {40, No.1},
        month = {August},
        year = {1989},
        pages = {79--82},
}

@techreport{walters2,
        author = {R.F.C. Walters},
        title = {What is Functional Programming},
        institution = {Department of Pure Mathematics, University of
                Sydney},
        number = {89--11},
        month = {August},
        year = {1989},
}

@techreport{gardiner:morgan,
        author = {P.H.B. Gardiner and C. Morgan},
        title = {A Single Complete Rule for Data Refinement},
        institution = {Oxford University Computing Laboratory},
        number = {PRG-TR-7-89},
        month = {November},
        year = {1989},
}

@article{martin:gardiner,
        author = {C.E. Martin and P.H.B. Gardiner and O. de Moor},
        title = {Extending Relations to Predicate Transformers},
        journal = {},
        volume = {},
        month = {},
        year = {},
        pages = {},
}

@article{gardiner,
        author = {P.H.B. Gardiner},
        title = {Data Refinement of Maps},
        journal = {},
        volume = {},
        month = {August},
        year = {1990},
        pages = {},
}

@phdthesis{fokkinga,
        author = {M.M. Fokkinga},
        title = {Law and Order in Algorithmics},
        school = {Universiteit Twente, Enschede, The Netherlands},
        month = {February},
        year = {1992},
}

@phdthesis{hagino:thesis,
        author = {T. Hagino},
        title = {A Categorical Programming
                Language},
        school = {University of Edinburgh},
        year = {1987},
}

@book{manes:algebraic,
        author = {E.G. Manes and M.A.Arbib},
        title = {Algebraic Approaches to Program Semantics},
        publisher = {Springer-Verlag},
        address = {Berlin},
        series = {Texts and Monographs in Computer Science},
        year = {1986},
}

@book{lambek:scott,
        author = {J. Lambek and P.J.Scott},
        title = {Introduction to Higher Order Categorical Logic},
        publisher = {Cambridge University Press},
        address = {Cambridge},
        series = {Cambridge Studies in Advanced Mathematics},
        year = {1986},
}

@techreport{fo:continuous,
        author = {M. Fokkinga},
        title = {Program Calculation Properties of Continuous Algebras},
        institution = {Centrum voor Wiskunde en Informatica},
        number = {CS-R9104},
        month = {January},
        year = {1991},
}

@book{pierce:book,
        author = {B. C. Pierce},
        title = {A Taste of Category Theory for Computer Scientists},
        publisher = {MIT Press},
        year = {1991},
}

@article{lehmann:smyth,
        author = {D.J. Lehmann and M.B. Smyth},
        title = {Algebraic Specifications of Data Types: A Synthetic Approach},
        journal = {Math. Systems Theory},
        year = {1981},
        volume = {14},
        pages = {97-139},
}

@article{smyth:plotkin,
        author = {M.B. Smyth and G.D. Plotkin},
        title = {The Category-Theoretic Solution of Recursive Domain Equations},
        journal = {SIAM Journal of Computing},
        year = {1982},
        volume = {11},
        number = {4},
        pages = {761-783},
}

@article{goguen:initial,
        author = {J.A. Goguen},
        title = {Initial Algebra Semantics and Continuous Algebras},
        journal = {Journal of the Association for Computing Machinery},
        volume = {24},
        month = {January},
        number = {1},
        year = {1977},
        pages = {68-95},
}

@incollection{wadler:new,
        author = {P. Wadler},
        title = {A New Array Operation},
        booktitle = {Workshop in Graph Reduction},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer Verlag},
        number = {201},
        year = {1986},
}

@article{arvind,
        author = {Arvind and R.S. Nikhil and K.K. Pingali},
        title = {I-Structures: Data Structures for Parallel Computing},
        journal = {ACM Transactions on Programming Languages and Systems},
        volume = {11},
        number = {4},
        year = {1989},
        pages = {598-632},
}

@article{hudak:conception,
        author = {P. Hudak},
        title = {The Conception, Evaluation, and Application of Functional
                Programming},
        journal = {ACM Computing Surveys},
        volume = {21},
        number = {3},
        year = {1989},
        pages = {359-411},
}

@article{haskell,
        author = {P. Hudak and J. Fasel},
        title = {A Gentle Introduction to {H}askell},
        journal = {ACM SIGPLAN Notices},
        volume = {27, No.5},
        month = {May},
        year = {1992},
}

@techreport{butler:lusk,
        author = {R. Butler and E. Lusk},
        title = {User's Guide to the p4 Programming System},
        institution = {Argonne National Laboratory, Mathematics and
                Computer Science Division},
        month = {October},
        year = {1992},
        number = {ANL-92/17},
}

@inproceedings{movie,
        author = {C. Faigle and W. Furmanski and T. Haupt and J. Niemiec and
                M. Podgorny and D. Simoni},
        title = {{MOVIE} Model for Open Systems Based High Performance
                Distributed Computing},
        booktitle = {{IEEE} Symposium on High Performance Computing HPDC1},
        month = {September},
        year = {1992},
        city = {Syracuse},
        pages = {},
	note = {Also appeared in Concurrency: Practice and Experience,
		Vol 5, No.4, June 1993},
}

@phdthesis{spencer:thesis,
        author = {D. Spencer},
        title = {Categorical Programming with Functorial Strength},
        school = {Oregon Graduate Institute of Science and Technology},
        month = {January},
        year = {1993},
}

@article{costcalculusI,
        author = {D.B. Skillicorn},
        title = {Deriving Parallel Programs from Specifications Using
                Cost Information},
        journal = {Science of Computer Programming},
	volume = {20},
	number = {3},
        month = {June},
        year = {1993},
	pages = {205--221},
}

@misc{BMFparallelism,
        author = {D.B. Skillicorn},
        title = {Parallelism and the {B}ird-{M}eertens
                {F}ormalism},
        howpublished = {FTP from qucis.queensu.ca in
                /pub/skill},
}

@inproceedings{molecules,
        author = {D.B. Skillicorn},
        title = {Categorical Data Types},
        booktitle = {Second Workshop on Abstract Models for Parallel
                Computation},
        address = {Oxford University Press},
        year = {1993},
}

@article{clos,
        author = {K.G. Kumar and D.B. Skillicorn},
        title = {Data Parallel Geometric Operations on Lists}, 
        journal = {Parallel Computing},
        year = {submitted},
}

@techreport{bouge:dataparallel,
        author = {L. Boug\'{e}},
        title = {The Data-Parallel Programming Model: A Semantic Perspective},
        institution = {Laboratoire de l'Informatique du Parall\'{e}lisme,
                Ecole Normale Sup\'{e}rieure de Lyon},
        number = {92--45},
        year = {1992},
}

@techreport{vishkin:seq,
        author = {U. Vishkin},
        title = {Can Parallel Algorithms Enhace
                Serial Implementation},
        institution = {University of Maryland, Center for Advanced
                Computer Studies},
        number = {91-145},
        year = {1991},
}

@phdthesis{biagioni,
        author = {E.S. Biagioni},
        title = {Scan Directed Load Balancing},
        school = {University of North Carolina at Chapel Hill},
        year = {1991},
}

@techreport{larus,
        author = {J.R. Larus and B. Richards and G. Viswanathan},
        title = {{C**}: A Large-Grain, Object-Oriented, Data-Paralell
                Programming Language},
        institution = {University of Wisconsin-Madison},
        number = {TR1126},
        month = {November},
        year = {1992},
}

@phdthesis{tseng,
        author = {C.-W. Tseng},
        title = {An Optimizing {F}ortran {D} Compiler for {MIMD}
                Distributed-Memory Machines},
        school = {Rice University},
        month = {January},
        year = {1993},
        note = {Also Rice COMP TR-93-199},
}

@inproceedings{hains:foisy,
        author = {G. Hains and C. Foisy},
        title = {The Data-Parallel Categorical Abstract Machine},
        booktitle = {PARLE93, Parallel Architectures and Languages Europe},
        month = {June},
        year = {1993},
        pages = {},
}

@misc{hpff,
        title = {High Performance {F}ortran Language Specification},
        howpublished = {Available by ftp from {\tt titan.rice.cs.edu}},
        key = {High},
        month = {January},
        year = {1993},
}

@article{cdt,
        author = {C.R. Banger and D.B. Skillicorn},
        title = {Building Categorical Data Types},
        journal = {},
        month = {submitted},
        year = {1993},
}

@phdthesis{banger:thesis,
        author = {C.R. Banger},
        title = {Categorical Construction of
		Arrays},
        school = {Queen's University},
        year = {1993},
}

@inproceedings{steele:hpf,
        author= {G.L. {Steele Jr.}},
        title = {High Performance Fortran: Status Report},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {1--4},
}

@inproceedings{pratt,
        author= {T.W. Pratt},
        title = {Kernel-control Parallel Versus Data Parallel:
                A Technical Comparison},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {5--8},
}

@inproceedings{feldman,
        author= {J.A. Feldman and C.-C. Lim and T. Rauber},
        title = {The Shared Memory Language {pSather} on a
                Distributed Memory Multiprocessor},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {17--20},
}

@inproceedings{lemke,
        author= {M. Lemke and D. Quinlan},
        title = {{P++}, a Parallel {C++} Array Class Library
                for Architecture-Independent Development of
                Structured Grid Applications},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {21--23},
}

@inproceedings{baden,
        author= {S.B. Baden adnd S.R. Kohn},
        title = {Lattice Parallelism: A Parallel Programming Model
                for Manipulating Non-Uniform Structured
                Scientific Data Structures},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {24--27},
}

@inproceedings{gross:hinrichs,
        author= {T. Gross and S. Hinrichs and G. Lueh and
                D. O'Halloran and J. Stichnoth and J. Subhlok},
        title = {Compiling Task and Data Parallel Programs for
                {iWarp}},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {32--35},
}

@inproceedings{snyder:orca,
        author= {L. Snyder},
        title = {Synposis of {Orca}, a Simple Language Implementation
                of Phase Abstractions},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {40--43},
}

@inproceedings{seevers,
        author= {B.K. Seevers and M.J. Quinn and P.J. Hatcher},
        title = {A Parallel Programming Environment Supporting
                Multiple Data-Parallel Modules},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {44--47},
}

@inproceedings{cox,
        author= {S. Cox and S.-Y. Huang and P. Kelly and J. Liu},
        title = {Program Transformations for Static Process
                Networks},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {60--63},
}

@inproceedings{chatterjee:gilbert,
        author= {S. Chatterjee and J.R. Gilbert and R. Schreiber
                and S.-H. Teng},
        title = {Optimal Evaluation of Array Expressions on Massively
                Parallel Machines},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {68--71},
}

@inproceedings{zenith:boulder,
        author= {S. Ericsson Zenith},
        title = {Ease: the Model and its Implementation},
        booktitle = {Proceeding of a Workshop on Languages,
                Compilers and Run-Time Enviroments for Distributed
                Memory Multiprocessors, appeared as SIGPLAN Notices,
                Vol 28, No. 1, January 1993},
        month = {September},
        year = {1992},
        pages = {87},
}

@techreport{enterprise1,
        author= {G. Lobe and P. Lu and S. Melax and I. Parsons and
                J. Schaeffer and C. Smith and D. Szafron},
        title = {The {E}nterprise Model for Developing Distributed
                Applications},
        institution = {Department of Computing Science, University
                of Alberta},
        number = {92--20},
        month = {NOvember},
        year = {1992},
}

@techreport{bacs,
        author= {H. Burkhart and C. Falc\'{o} Korn and S. Gutzwiller and
                P. Ohnacker and S. Waser},
        title = {{BACS}: {B}asel {A}algorithm {C}lassification
                {S}cheme},
        institution = {Institut f\"{u}r Informatik der Universit\"{a}t
                Basel},
        number = {93--3},
        month = {March},
        year = {1993},
}

@inproceedings{culler:logp,
        author= {D. Culler and R. Karp and D. Patterson and A. Sahay
                and K.E. Schauser and E. Santos and R. Subramonian
                and T. von Eicken},
        title = {{LogP}: Toward a Realistic Model of Parallel
                Computation},
        booktitle = {ACM SIGPLAN Symposium on Principles and Practice
                of Parallel Programming},
        month = {May},
        year = {1993},
        pages = {1--12},
}

@misc{enterprise2,
        author= {D. Szafron and J. Schaeffer and P.S. Wong and
                E. Chan and P. Lu and C. Smith},
        title = {Enterprise: An Interactive Graphical Programming
                Environment for Distributed Software},
        howpublished = {ftp from {\tt cs.ualberta.ca}},
        year = {1991},
}

@misc{pcn:manual,
        author= {I. Foster and S. Tuecke},
        title = {Parallel Programming with {PCN}},
        howpublished = {ftp from {\tt info.mcs.anl.gov}},
        version = {2.0},
        month = {January},
        year = {1993},
}

@techreport{p4,
        author= {R. Butler and E.Lusk},
        title = {User's Guide to the {p4} Programming System},
        institution = {Argonne National Laboratory},
        number = {ANL--92/17},
        month = {October},
        year = {1992},
}

@misc{pandore,
        author= {F. Andr\'{e} and O. Ch\'{e}ron and J.-L. Pazat},
        title = {Compiling Sequential Programs for Distributed Memory
                Parallel Computers with {P}andore {II}},
        month = {May},
        year = {1992},
}

@inproceedings{wagner,
        author= {D. Feldcamp and A. Wagner},
        title = {{P}arsec: A Software Development Environment for
                Performance Oriented Parallel Programming},
        booktitle = {Transputer Research and Applications 6},
        editor = {S. Atkins and A. Wagner},
        publisher = {IOS Press},
        address = {Amsterdam, Oxford, Washington, Tokyo},
        month = {May},
        year = {1993},
        pages = {247--262},
}

@techreport{blelloch:nesl,
        author= {G.E. Blelloch},
        title = {{NESL}: a Nested Data Parallel Language},
        institution = {School of Computer Science, Carnegie-Mellon
                University},
        number = {CMU-CS-92-103},
        month = {January},
        year = {1992},
}

@incollection{mccoll:sppc,
        author= {W.F. McColl},
        title = {Special Purpose Parallel Computing},
        booktitle = {Lectures on Parallel Computation},
        editor = {A.M. Gibbons and P. Spirakis},
        publisher = {Cambridge University Press},
        address = {Cambridge},
        series = {Cambridge International Series on Parallel Computation},
        year = {1993},
        pages = {261--336},
}

@incollection{mccoll:gppc,
        author= {W.F. McColl},
        title = {General Purpose Parallel Computing},
        booktitle = {Lectures on Parallel Computation},
        editor = {A.M. Gibbons and P. Spirakis},
        publisher = {Cambridge University Press},
        address = {Cambridge},
        series = {Cambridge International Series on Parallel Computation},
        year = {1993},
        pages = {337--391},
}

@inproceedings{chien:dally,
        author= {A.A. Chien and W.J. Dally},
        title = {{C}oncurrent {A}ggregates},
        booktitle = {Second SIGPLAN Symposium on Principles and
                Practice of Parallel Programming},
        month = {February},
        year = {1990},
        pages = {187--196},
}

@mastersthesis{singh:thesis,
        author= {P. Singh},
        title = {Categorical Construction of Graphs},
	school = {Department of Computer Science, Queen's University at Kingston},
	month = {September},
        year = {1993},
}

@phdthesis{sheffler:thesis,
        author= {T.J. Sheffler},
        title = {Match and Move, an Approach to Data Parallel Computing},
        school = {Carnegie-Mellon},
        month = {October},
        year = {1992},
        note = {Appears as Report CMU-CS-92-203},
}

@book{sr,
        author = {G.R. Andrews and R.A. Olsson},
        title = {The {SR} Programming Language},
        publisher = {Benjamin/Cummings},
        year = {1993},
}

@inproceedings{mccoll:leeds,
        author = {W.F. McColl},
        title = {Bulk Synchronous Parallel Computing},
        booktitle = {Second Workshop on Abstract Models for Parallel
                Computation},
        publisher = {Oxford University Press},
        year = {1993},
        pages = {},
}

@inproceedings{sheffler:leeds,
        author = {T.J. Sheffler},
        title = {Writing Parallel Programs with {M}atch and {M}ove},
        booktitle = {Second Workshop on Abstract Models for Parallel
                Computation},
        publisher = {Oxford University Press},
        year = {1993},
        pages = {},
}

@misc{pvm,
        author = {A. Beguelin and J.J. Dongarra and G.A. Geist and
                R. Manchek and V.S. Sunderam},
        title = {PVM Software System and Documentation},
        howpublished = {Email to {\tt netlib@ornl.gov}},
}

@incollection{italy:nato,
        author = {D.B. Skillicorn},
        title = {The {B}ird-{M}eertens {F}ormalism as a Parallel Model},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {120--133},
        year = {1993},
}

@incollection{kowalik:neves,
        author = {J.S. Kowalik and K.W. Neves},
        title = {Software for Parallel Computing: Key Issues and
		Research Directions},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {3--36},
        year = {1993},
}

@incollection{carriero:nato,
        author = {N. Carriero and D. Gelernter},
        title = {Learning from Our Success},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {37--45},
        year = {1993},
}

@incollection{perrott2,
        author = {R.H. Perrott and A. Zarea-Aliabadi},
        title = {Software Development for Parallel Processing},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {46--61},
        year = {1993},
}

@incollection{gentzsch,
        author = {U. Block and F. Ferstl and W. Gentzsch},
        title = {Software Tools for Developing and Porting Parallel
		Programs},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {62--75},
        year = {1993},
}

@incollection{szymanski,
        author = {B.K. Szymanski},
        title = {Scalable Software Tools for Parallel Computations},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {76--90},
        year = {1993},
}

@incollection{beguelin,
        author = {A. Beguelin and J. Dongarra and A. Geist and R. Manchek
		and K. Moore and V. Sunderam},
        title = {{PVM} and {HeNCE}: Tools for Heterogeneous Network
		Computing},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {},
        year = {1993},
}

@incollection{levesque,
        author = {J.M. Levesque},
        title = {{FORGE90} and {H}igh {P}erformance {F}ortran (HPF)},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {111--119},
        year = {1993},
}

@incollection{pancake:nato,
        author = {C. Pancake},
        title = {Graphical Support for Parallel Debugging},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {216--230},
        year = {1993},
}

@incollection{jordan,
        author = {H.F. Jordan and B. Rodriguez},
        title = {Performance Prediction from Data Transport},
        booktitle = {Software for Parallel Computation},
        editor = {J.S. Kowalik and L. Grandinetti},
        series = {NATO ASI Series F},
        publisher = {Springer-Verlag},
        volume = {106},
	pages = {318--332},
        year = {1993},
}

@incollection{sisal,
        author = {S.K. Skedzielewski},
        title = {Sisal},
        booktitle = {Parallel Functional Languages and Compilers},
        editor = {B.K. Szymanski},
        publisher = {ACM Press Frontier Series},
        year = {1991},
        pages = {105--158},
}

@incollection{parafunctional,
        author = {P. Hudak},
        title = {Para-Functional Programming in {H}askell},
        booktitle = {Parallel Functional Languages and Compilers},
        editor = {B.K. Szymanski},
        publisher = {ACM Press Frontier Series},
        year = {1991},
        pages = {159--196},
}

@incollection{crystal,
        author = {M. Chen and Y.-I. Choo and J. Li},
        title = {Crystal: Theory and Pragmatics of Generating
                Efficient Parallel Code},
        booktitle = {Parallel Functional Languages and Compilers},
        editor = {B.K. Szymanski},
        publisher = {ACM Press Frontier Series},
        year = {1991},
        pages = {255--308},
}

@incollection{epl,
	author= {B.K. Szymanski},
	title = {{EPL}--Parallel Programming with Recurrent Equations},
	booktitle = {Parallel Functional Languages and Compilers},
	editor = {B.K. Szymanski},
	publisher = {ACM Press Frontier Series},
	year = {1991},
	pages = {51--104},
}

@inproceedings{sdl,
	author= {G.-C. Roman and H.C. Cunningham and A. Ehlers},
	title = {A Shared Dataspace Language Supporting Large-Scale
		Concurrency},
	booktitle = {Proceedings of the 8th International Conference
		on Distributed Computing Systems},
	month = {June},
	year = {1988},
	pages = {265--272},
}

@article{vienna,
	author= {B. Chapman and P. Mehrotra and H. Zima},
	title = {Programming in {V}ienna {F}ortran},
	journal = {Scientific Programming},
	volume = {1},
	number = {1},
	year = {1992},
	pages = {31--50},
}

@inproceedings{parlog,
	author= {K.L. Clark},
	title = {A Declarative Environment for Concurrent Logic
		Programming},
	booktitle = {Proceedings of TAPSOFT},
	series = {Springer Lecture Notes in Computer Science 250},
	year = {1987},
	pages = {212--242},
}

@article{shapiro,
	author= {E. Shapiro},
	title = {Concurrent {P}rolog: A Progress Report},
	journal = {IEEE Computer},
	volume = {19},
	number = {8},
	month = {August},
	year = {1986},
	pages = {44--58},
}

@inproceedings{saraswat,
	author= {V.A. Saraswat and M. Rinard},
	title = {Concurrent Constraint Programming},
	booktitle = {Proceedings of the 17th Symposium on Principles
		of Programming Languages},
	year = {1990},
	pages = {232--245},
}

@article{abcl1,
	author= {A. Yonezawa and J. Briot and E. Shibayama},
	title = {Object-Oriented Concurrent Programming in {ABCL/1}},
	booktitle = {SIGPLAN Notices},
	volume = {21},
	number = {11},
	year = {1986},
	pages = {258--268},
}

@incollection{yokote,
	author= {Y. Yokote and M. Tokoro},
	title = {Concurrent Programming in {C}oncurrent {S}malltalk},
	booktitle = {Object-Oriented Concurrent Programming},
	publisher = {ACM Press},
	year = {1987},
	pages = {129--158},
}

@article{emerald,
	author= {E. Jul and N. Levy and N. Hutchinson},
	title = {Fine-Grained Mobility in the {E}merald System},
	journal = {ACM Transactions on Computer Systems},
	volume = {6},
	number = {1},
	year = {1988},
	pages = {109--133},
}

@article{booster1,
	author ={E.M. Paalvast and H.J. Sips and L.C. Breebaart},
	title = {Booster: a high-level language for portable 
		parallel algorithms},
	journal = {Applied numerical mathematics},
	volume = {8},
	number = {2},
	year = {1991},
	pages = {177},
}

@article{abcl12,
	author = {A. Yonezawa},
	title = {Parallel Processing Description in the Concurrent
		Object-Oriented Language ABCL/1},
	journal = {Systems and computers in Japan},
	volume = {21},
	number = {4},
	year = {1990},
	pages = {36},
}

@article{chien:oops,
	author = {A.A. Chien},
	title = {Concurrent Aggregates: Using Multiple-Access Data
		Abstractions to Manage Complexity in Concurrent Programs},
	journal = {OOPS Messenger},
	volume = {2},
	number = {2},
	month = {April},
	year = {1991},
	pages = {31--36},
}

@article{steigerwald,
	author = {R. Steigerwald and M. Nelson},
	title = {Concurrent Programming in Smalltalk-80},
	journal = {SIGPLAN notices},
	volume = {25},
	number = {8},
	month = {August},
	year = {1990},
	pages = {27},
}

@article{hopkins:smalltalk,
	author = {T.P. Hopkins},
	title = {Writing Concurrent Object-Oriented Programs using
		{S}malltalk-80},
	journal = {The Computer Journal},
	volume = {32},
	number = {4},
	month = {August},
	year = {1989},
}

@article{hayes:emerald,
	author = {R. Hayes and N.C. Hutchinson and R.D. Schlichting},
	title = {Integrating Emerald into a system for mixed-language
		programming},
	journal = {Computer languages},  
	volume = {15},
	number = {2},
	year = {1990},
	pages = {95--108},
}

@inproceedings{kahn:saraswat,
	author = {K.M. Kahn and V.A. Saraswat},
	title = {Actors as a Special Case of Concurrent Constraint (Logic)
		Programming},
	booktitle = {OOPSLA/ECOOP 90 Conference on Object-Oriented
		Programming: Systems, Languages, and Applications},
	editor = {N. Meyrowitz},
	month = {October},
	year = {1990},
	pages = {57--66},
	note = {Appears as SIGPLAN Notices, Vol.25, No.10},
}

@article{paalvast,
	author = {E.M. Paalvast and A.J. van Gemund and H.J. Sips},
	title = {A Method for Parallel Program Generation with an
		Application to the Booster Language},
	journal = {Computer architecture news},
	volume = {18},
	number = {3},
	month = {September},
	year = {1990},
}


@techreport{Dongarra92,
  author = "Jack J. Dongarra and Rolf Hempel and Anthony J. G. Hey and
            David W. Walker",
  title  = "A Proposal for a User-Level Message-Passing Interface in a
            Distributed Memory Environment",
  institution = "Oak {R}idge {N}ational {L}aboratory",
  year=1992,
  type    = "Technical Report",
  number = "{TM}-12231",
  month  = "October"
}

@techreport{parmacs1,
  author  = "R. Hempel",
  title   = "The {ANL/GMD} Macros ({PARMACS}) in {F}ortran for Portable
       Parallel Programming Using the Message Passing Programming
       Model -- {U}sers' {G}uide and {R}eference {M}anual",
  institution = "{GMD}",
  year    = 1991,
  type    = "Technical Report",
  address = "Postfach 1316, {D}-5205 {S}ankt {A}ugustin 1, {G}ermany",
  month   = "November"
}

@techreport{parmacs2,
  author  = "R. Hempel and H.-C. Hoppe and A. Supalov",
  title   = "{PARMACS}-6.0 Library Interface Specification",
  institution = "{GMD}",
  year    = 1992,
  type    = "Technical Report",
  address = "Postfach 1316, {D}-5205 {S}ankt {A}ugustin 1, {G}ermany",
  month   = "December"
}

@techreport{sisal:refmanual,
	author= {iJ. McGraw and S. Skedzielewski and S. Allan and
		R. Oldehoeft and J. Glauert and C. Kirkham and B. Noyce
		and R. Thomas},
	title = {Sisal: Streams and Iteration in a Single Assignment
		Language: {R}eference Manual 1.2},
	institution = {Lawrence Livermore National Laboratory},
	number = {M-146,Rev.1},
	month = {March},
	year = {1985},
}

@inproceedings{sisal:survey,
	author= {J.R. McGraw},
	title = {Parallel Functional Programming in {S}isal: {F}ictions,
		Facts, and Future},
	booktitle = {submitted},
	month = {},
	year = {1993},
	pages = {},
}

@misc{papachrysantou,
	author= {G. Papachrysantou},
	title = {Higher Level Forms for Parallel Computation in
		Solid Modelling},
	howpublished = {M.Sc Project Report, Department of Computing,
		Imperial College of Science, Technology, and Medicine,
		London},
	month = {September},
	year = {1992},
}

@misc{express,
	title = {Express System},
	key = {Express},
	howpublished = {Info available by ftp from {\tt ftp.parasoft.com}},
}

@misc{arbeit:xx,
  AUTHOR  = "B. Arbeit and G. Campbell and R. Coppinger and R. Peierls and
             D. Stampf",
  TITLE   = "The {ALMS} system: implementation and performance",
  NOTE    = "Brookhaven National Laboratory, Internal Report, (In preparation)"}

@INPROCEEDINGS{peierls:91,
  AUTHOR       = "Ronald Peierls and Graham Campbell",
  TITLE        = "{ALMS} - programming tools for coupling application
                  codes in a network environment",
  BOOKTITLE    = "Proceedings of the Heterogeneous Network-Based Concurrent
                  Computing Workshop",
  YEAR         = "1991",
  ORGANIZATION = "Supercomputing Computations Research Institute, Florida
                  State University",
  ADDRESS      = "Tallahassee, FL",
  MONTH        = "October",
  NOTE         = "Proceedings available via anonymous ftp from 
                  {\tt ftp.scri.fsu.edu} in directory 
		{\tt pub/parallel-workshop.91}" 
}

@Article{li:chen:91a,
  author =      "Jinke Li and Marina Chen",
  title =       "The Data Alignment Phase in Compiling Programs for
                 Distributed Memory Machines",
  journal =     "J. of Parallel and Distributed Computing",
  year =        1991,
  volume =      13,
  pages =       "213--221"
}

@Article{li:chen:91b,
  author =      "Jinke Li and Marina Chen",
  title =       "Compiling Communication-Efficient Programs for
                 Massively Parallel Machines",
  journal =     "IEEE Transactions on Parallel and Distributed Systems",
  year =        1991,
  volume =      2,
  number =      3,
  pages =       "361--376",
  month =       "July"
}

@InProceedings{lu:chen:90,
  author =      "Lee-Chung Lu and Marina C. Chen",
  title =       "Subdomain Dependence Test for Massive Parallelism",
  booktitle =   "Proceedings of the Supercomputing '90 Conference",
  year =        1990,
  publisher =   "IEEE Computer Society Press",
  address =     "Los Alamitos, CA"
}

@InProceedings{yang:choo:91,
  author =      "Allan Yang and Young-il Choo",
  title =       "Parallel-Program Transformation Using a Metalanguage",
  booktitle =   "Proceedings of the Third ACM SIGPLAN 
		Symposium on Principles and
		Practice of Parallel Programming",
  year =        1991
}

@InProceedings{yang:choo:92a,
  author =      "Allan Yang and Young-il Choo",
  title =       "Formal Derivation of an Efficient Parallel Gauss-Seidel
                 Method on a Mesh of Processors",
  booktitle =   "Proceedings of the 6th International Parallel Processing
                 Symposium",
  year =        1992,
  publisher =   "IEEE Computer Society Press",
  month =       "March"
}
  
@InProceedings{yang:choo:92b,
  author =      "Allan Yang and Young-il Choo",
  title =       "Metalinguistic Features for Formal Parallel-Program
                 Transformation", 
  booktitle =   "Proceedings of the 4th IEEE International Conference on
                 Computer Languages",
  year =        1992,
  publisher =   "IEEE Computer Society Press",
  month =       "April"
}

@techreport{turcotte,
	author= {L.H.Turcotte},
	title = {A Survey of Software Environments for Exploiting
		Networked Computing Resources},
	institution = {Mississippi State University},
	month = {June},
	year = {1993},
}

@techreport{perrott,
	author= {P. Crooks and R.H. Perrott},
	title = {Language Constructs for Data Partitioning and Distribution},
	institution = {Department of Computer Science, Queen's University
		of Belfast},
	year = {1993},
}

@article{andrews:sr,
	author= {G.R. Andrews and R.A. Olsson and M.A. Coffin and I. Elshoff
		and K. Nilsen and T. Purdin and G. Townsend},
	title = {An Overview of the {SR} Language and Implementation},
	journal = {ACM Transactions on Programming Languages and Systems},
	volume = {10},
	number = {1},
	month = {January},
	year = {1988},
	pages = {51--86},
}

@article{flower,
	author= {J. Flower and A. Kolawa and S. Bharadwaj},
	title = {The {E}xpress Way to Distributed Processing},
	journal = {Supercomputing Review},
	month = {May},
	year = {1991},
	pages = {54--55},
}

@inproceedings{bratvold,
        author = {T.A. Bratvold},
        title = {Determining Useful Parallelism in Higher Order Functions},
        booktitle = {Fourth International Workshop on the Parallel
                Implementation of Functional Languages},
        month = {September},
        year = {1992},
        place = {Aachen},
        pages = {},
}

@techreport{gibbons:cai,
	author = {J. Gibbons and W. Cai and
		D.B. Skillicorn},
	title = {Efficient Parallel Algorithms
		for Tree Algorithms},
	institution = {Department of Computer Science,
		University of Auckland},
	number = {70},
	month = {March},
	year = {1993},
}

@book{peytonjones:book,
	AUTHOR = {S. Peyton-Jones},
	TITLE = {Implementation of Functional Programming Languages},
	publisher = {Prentice-Hall},
	YEAR = {1987},
}

@article{macleod:path,
	author = {I.A. Macleod},
	title = {Path Expressions as Selectors for
		Non-Linear Text},
	journal = {submitted},
	volume = {},
	month = {},
	year = {1993},
	pages = {},
}

@article{eatcs,
	author = {D.T. Barnard and J.P. Schmeiser and D.B. Skillicorn},
	title = {Deriving Associative Operators for Language Recognition},
	journal = {Bulletin of the {EATCS}},
	volume = {43},
	month = {February},
	year = {1991},
	pages = {131--139},
}