June 1992 The Algebraic Specification Column
The Structural Complexity Column
The Formal Language Theory Column
Copyright © Sat May 16 23:57:43 2009
by Michael Ley (firstname.lastname@example.org)
- Hartmut Ehrig:
Some important new facts supporting the development of algebraic specifications.
- P. S. Subramanian:
Towards an algebraic specification framework for the VLSI design process.