Bibliography

1

J.-R. Abrial.
The B-book: assigning programs to meanings.
Cambridge University Press, 1996.

2

J. Bowen.
World wide web virtual library of formal methods, 2004.
Available from http://www.afm.sbu.ac.uk.

3

J. Cuadrado.
Teach formal methods.
Byte, page 292, December 1994.

4

J. Fitzgerald and P.G. Larsen.
Modelling Systems: Practical Tools and Techniques for Software Development .
Cambridge University Press, 1st edition, 1998.

5

Michael R. Hansen and Hans Rischel.
Introduction to Programming using SML.
Addison-Wesley, 1999.
ISBN 0-201-39820-6.

6

Gerard J. Holzmann.
The Spin Model Checker: Primer and Reference Manual.
Addison-Wesley, 2003.
ISBN 0-321-22862-6, 608 pages.

7

S.L. Peyton Jones.
Haskell 98 Language and Libraries.
Cambridge University Press, Cambridge, UK, 2003.
Also published as a Special Issue of the Journal of Functional Programming, 13(1) Jan. 2003.

8

Kim G. Larsen, Paul Pettersson, and Wang Yi.
UPPAAL in a nutshell.
Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1998.

9

K. Fisler (maintainer).
Formal methods education resources, 2002.
Website hosted by the Department of Computer Science, Worcester Polytechnic Institute. Available from http://www.cs.indiana.edu/formal-methods-education/.

10

D. Mandrioli.
A few preliminary thoughts about education on formal methods within (university) curricula, 2003.
Working document available from the FME-SoE website.

11

J. N. Oliveira.
«Bagatelle in C arranged for VDM SoLo».
Journal of Universal Computer Science, 7(8):754-781, 2001.
Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas , Institute for Software Technology, Graz University of Technology, May 18-19, 2001).

12

The Joint ACM/IEEE-CS Task Force on Computing Curricula.
Computing curricula 2001: Computer Science -- Final Report.
Technical report, Association for Computing Machinery and IEEE Computer Society, December 2001.

13

The Joint ACM/IEEE-CS Task Force on Computing Curricula.
Computing curriculum - Software Engineering.
Technical report, Software Engineering Education Knowledge (SEEK), February 2004.
Public Draft 3.1.

14

FME Subgroup on Education.
A survey of formal methods courses in european higher education, 2004.
Web version (HTML) available from http://www.fmeurope.org/ $\mapsto$ Formal Methods $\mapsto$ Education.

15

J. M. Spivey.
The Z Notation -- A Reference Manual.
Series in Computer Science. Prentice-Hall International, 1989.
C. A. R. Hoare.