industrial applications of algebraic specifications?

[eka@cs.mu.oz.au (Ed Kazmierczak)]

[Giuseppe Scollo has forwarded the following request from Ed
Kazmierczak (eka@cs.mu.oz.au), one of the Editors of the AMAST
newsletter who lives in Melbourne: --PDM]

I'm in URGENT need of some information which I hope you may be able to
provide.  There is a very strong feeling in this country that
algebraic specifications are dead/useless/unproven etc.  If you know
of any industrial projects (non-university) using algebraic
specifications to specify and develop systems then please let me know
- I'm starting a collection.

[Please send concise references to industrial projects to
cofi-list@brics.dk as soon as possible; I'll collate the replies and
send a summary next week.  Actually, since one of the main motivations
for CoFI is that the previous lack of a common framework for algebraic
specification is a major hindrance for industrial applications, I'm
hoping that the response won't be too overwhelming... --PDM]