Bibliography

@inproceedings{OT89,
   key          = {OT89},
   author       = {L. M. Ott and J.J. Thuss},
   title        = {The Relationship between Slices and Module 
Cohesion},
   booktitle    = {Proceedings of the 11th International 
Conference on Software 
Engineering},
   pages        = {198--204},
   year         = {1989}
}

@article{OCH91,
  key         = {OCH91},
  author      = {R.A. Olsson and R.H. Crawford and W.W. Ho},
  title       = {A Dataflow Approach to Event-based Debugging},
  journal     = {Software - Practice and Experience},
  volume      = {21},
  number      = {2},
  pages       = {209-229},
  year        = {1991}}

@article{OCHW91,
  key         = {OCHW91},
  author      = {R.A. Olsson and R.H. Crawford and W.W. Ho and 
C.E. Wee},
  title       = {Sequential Debugging at a High Level of 
Abstraction},
  journal     = {IEEE Software},
  pages       = {27-36},
  month       = {May},
  year        = {1991}}

@article{Opp80,
  key         = {Opp80},
  author      = {D.C. Oppen},
  title       = {{P}rettyprinting},
  journal     = {ACM Transactions on Programming Languages and 
Systems},
  volume      = {2},
  number      = {4},
  pages       = {465-483},
  year        = {1980}}

@BOOK{ODo77,
  key           = "ODo77",
  author        = "M.J. O'Donnell",
  title         = "Computing in Systems Described by Equations",
  publisher     = "Springer-Verlag",
  series        = "Lecture Notes in Computer Science",
  volume        =  58,
  year          =  1977
}

@book{ODo85,
  key		= {ODo85},
  author	= {M.J. O'Donnell},
  title		= {Equational Logic as a Programming Language},
  publisher	= {MIT Press},
  year		= 1985
}

@inproceedings{ODo93,
	key = "ODo93",
	author = "John T. O'Donnell",
	title = "Data Parallel Implementation of Extensible Sparse Functional
		Arrays",
	pages = "68--79",
	booktitle = "PARLE'93 Parallel Architectures and Languages Europe",
	editor = "Arndt Bode and Mike Reeve and Gottfried Wolf",
	year = "1993",
	series = "Lecture Notes in Computer Science",
	volume = "694"
}

@article{OLT94,
    	key = "OLT94",
	author = "Chris Okasaki and Peter Lee and David Tarditi",
	title = "Call-by-need and Continuation-passing Style",
	journal = "Lisp and Symbolic Computation",
	publisher = "Kluwer",
        volume = "7",
	year = "1994",
	pages = "57--82"
}

@inproceedings{OO84,
  key         = {OO84},
  author      = {K.J. Ottenstein and L.M. Ottenstein},
  title       = {The Program Dependence Graph in a Software 
Development 
                Environment},
  booktitle   = {Proceedings of the ACM SIGSOFT/SIGPLAN Software 
Engineering 
                 Symposium on Practical Software Development 
Environments},
  pages       = {177-184},
  year        = {1984},
  note        = {{\it SIGPLAN Notices} 19(5)}
}