Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!mucs!timc
From: timc@cs.man.ac.uk (Tim Clement)
Newsgroups: comp.specification
Subject: Texts on algebraic specification?
Message-ID: <1610@m1.cs.man.ac.uk>
Date: 21 Aug 90 15:57:49 GMT
Sender: news@cs.man.ac.uk
Reply-To: timc@cs.man.ac.uk (Tim Clement)
Distribution: comp
Organization: Department of Computer Science, University of Manchester UK
Lines: 5

Are there any textbooks on algebraic approaches to formal specification?
(Or, indeed, anyone teaching it at an undergraduate/Masters level?)
Reply by mail and I'll summarize to the net if there's any interest.

Thanks in advance for your help.