Volume 59, June 1996

The Algebraic Specification Column

• 
  Horst Reichel: Unifying ADT - and Evolving Algebra Specifications.
• 
  Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification.

The Concurrency Column

• 
  D. Benson: Courses on Concurrency.

The Formal Language Theory Column

• 
  Arto Salomaa: Conjugate Words, Cuts of the Deck and Cryptographic Protocol.

Technical Contributions

• 
  Stephen L. Bloom, Zoltán Ésik: Two Axiomatizations of a Star Semiring Quasi-Variety.
• 
  Colm Ó'Dúnlaing: Resolution Proofs viewed as Automata.
• 
  Juha Honkala: On the Equivalence Problem of Algebraic Series with Commuting Variables.
• 
  Luc Longpré, Vladik Kreinovich: Zeros of Riemann's Zeta Function are Uniformly Distributed, but not Random: An Answer to Calude's Open Problem.
• 
  Mila E. Majster-Cederbaum, Markus Roggenbach: On two different Characterizations of Bisimulation.
• 
  R. Steacy: Structure in the Kolakoski Sequence.