Path: utzoo!attcan!uunet!ginosko!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!hplabs!well!nagle From: nagle@well.UUCP (John Nagle) Newsgroups: comp.software-eng Subject: Re: Help wanted: References on algebraic specification Message-ID: <12688@well.UUCP> Date: 14 Jul 89 16:15:32 GMT References: <5545@tekgvs.LABS.TEK.COM> Reply-To: nagle@well.UUCP (John Nagle) Distribution: na Lines: 7 Parnas' papers from the 1970s are relevant, and amusing at times. Parnas goes down in programming language history for claiming that variable names should be meaningless, so that readers of the specification are forced to follow the logic. John Nagle