1. J-R Abrial. Deriving Programs from Meaning. Prentice Hall International, 1995. To appear.
2. B-Core (UK) Ltd. B-Toolkit User's Manual, release version 2.0 edition, 1994. A full release of the B Toolkit is now available. For details, contact Ib Sorensen, B Core (UK) Ltd, Magdalen Centre, Robert Robinson Avenue, The Oxford Science Park, Oxford OX4 4GA. Tel: +44 865 784520. E-mail: Ib.Sorensen@comlab.ox.ac.uk.
3. J.C. Bicarregui, et al. Formal Methods into Practice: case studies in the application of the B-Method, B User Trials Deliverable, D 18, Rutherford Appleton Laboratory. Submitted to the Software Engineering Journal.
4. J.C. Bicarregui, J. Dick and E. Woods, Supporting the length of formal development: from diagrams to VDM to B to C Proceedings, 7th International Conference on: Putting into practice method and tools for information system design”, Nantes (France), October '95, IUT de Nantes, H. Habrias (Editor) 1995.
5. J.C. Bicarregui, J. Dick and E. Woods, Qualitative analysis of an application of formal methods. Submitted to FME'96, Springer-Verlag.