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 best history is but like the art of Rembrandt; it casts a vivid light on certain selected causes, on those which were best and greatest; it leaves all the rest in shadow and unseen.”
    —Walter Bagehot (1826–1877)

    “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)