Jan Bergstra - Selected Publications

Selected Publications

The following are a few key publications:

  1. J. A. Bergstra, A. Ponse and S. A. Smolka (editors), The Handbook of Process Algebra, Elsevier, 2001.
  2. J. A. Bergstra and M. E. Loots, "Program Algebra for Component Code", Formal Aspects of Computing, 12(1):1–17, 2000.
  3. J. A. Bergstra and J. V. Tucker, "Equational specifications, complete term rewriting systems, and computable and semicomputable algebras", Journal of the ACM, 42(6):1194–1230, 1995.
  4. J. A. Bergstra, J. Heering and P. Klint, "Module Algebra", Journal of the ACM, 37(2):335–372, 1990.
  5. J. A. Bergstra, J. Heering and P. Klint (editors), Algebraic Specification, Addison Wesley, 1989.

Read more about this topic:  Jan Bergstra

Famous quotes containing the words selected and/or publications:

    “The final flat of the hoe’s approval stamp
    Is reserved for the bed of a few selected seed.”
    —Robert Frost (1874–1963)

    “Dr. Calder [a Unitarian minister] said of Dr. [Samuel] Johnson on the publications of Boswell and Mrs. Piozzi, that he was like Actaeon, torn to pieces by his own pack.”
    —Horace Walpole (1717–1797)