Large algebraic specifications

Dear news readers,

The larger a specification, the more complicated it becomes to handle.
I would like to collect experiences from people who had to write
or are writing algebraic specifications of say 50 pages or more.

I am looking for reports describing these specifications,
ftp sites containing the full specifications, and for
papers discussing the problems of scaling up algebraic specifications.

I will post a summary of answers on the net in a few weeks time.

  Thank you very much in advance,
	Arie van Deursen.

Arie van Deursen,
Formal Methods Group 	            arie@win.tue.nl 
Dept. of Math. & Computing Sc.      http://www.win.tue.nl/win/cs/fm/arie/
Eindhoven University of Technology  Tel.   +31 40 475157	
P.O. Box 513, 5600 MB Eindhoven     Fax:   +31 40 463992			
The Netherlands		            Priv.: +31 20 6390343