Go backward to 2 Specifications
Go up to Top
Go forward to References
Acknowledgements
The authors wish to thank Bernd Krieg-Brückner and Lutz
Schröder for useful comments and suggestions.
CoFI
Note: L-12 -- Version: 0.3 -- November 1999.
Comments to cofi@informatik.uni-bremen.de