mccaugh@s.cs.uiuc.edu (11/23/89)
I am all for it, and I agree that 'comp.lang.spec' might be misconstrued to mean that programming languages where being specified. I am personally most interested in the algebraic-specification languages, such as: Clear, OBJ and ACT ONE, but would also consider model-oriented methods like Z and VDM, also. Scott McCaughrin