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:

    “She was so overcome by the splendor of his achievement that she took him into the closet and selected a choice apple and delivered it to him, along with an improving lecture upon the added value and flavor a treat took to itself when it came without sin through virtuous effort. And while she closed with a Scriptural flourish, he “hooked” a doughnut.”
    —Mark Twain [Samuel Langhorne Clemens] (1835–1910)

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