| ## B Points to Bear in Mind Michel Bidoit1 and Peter D. Mosses2 1 Laboratoire Spécification et Vérification, CNRS UMR 8643 École Normale Supérieure de Cachan 61, Avenue du Président Wilson, 94235 Cachan Cedex, France `bidoit@lsv.ens-cachan.fr` 2 University of Aarhus, BRICS and Department of Computer Science Aabogade 34, 8200 Aarhus N, Denmark `pdmosses@brics.dk` Abstract. B.1 Introduction B.2 Underlying Concepts B.3 Getting Started B.4 Partial Functions B.5 Subsorting B.6 Structuring Specifications B.7 Generic Specifications B.8 Specifying the Architecture of Implementations B.9 Libraries B.10 Foundations B.11 Tools B.12 Basic Libraries LNCS 2900, pp. 203 - 210 Full article in PDF lncs@springer.de © Springer-Verlag Berlin Heidelberg 2004