Reserve List (1 day)

L. Bottaci & J. Jones, Formal Specification Using Z: A Modelling Approach, Inter. Thomson Pub., 1995, 320 pp. [QA76.76.73.Z2 B676]

R. S. Boyer & J. S. Moore (eds.), The Correctness Problem in Computer Science, Academic Press, 1981, 279 pp -- see Dijkstra chapter on program proving. [QA76.6 .C663]

A. Diller, Z An Introduction to Formal Methods, Wiley, 1994, 374 pp. [QA76.73.Z2 D55]

R. Diaconescu & K. Futatsugi, CafeOBJ Report, World Scientific, 1998, 174 pp. [QA76.64 .D53]

J. A. Goguen & G. Malcolm, Software Engineering with OBJ (2^nd ed.), Kluwer Academic Pub., 2000, 410 pp. [QA76.758 .S65615]

D. Harel & M. Politi, Modeling Reactive Systems with Statecharts, McGraw-Hill, 1998. [electronic resource]

I. Hayes (ed.), Specification Case Studies (2nd ed.), Prentice-Hall, 1993, 288 pp. [QA76.6 .S667]

M. G. Hinchey & J. P. Bowen (eds.), Applications of Formal Methods, Prentice-Hall, 1995, 447 pp. [QA76.9.S88 A68]

I. Horrocks, Constructing the User Interface with Statecharts, Addison-Wesley, 1998, 253 pp. [QA76.9.U83 H66]

K. Lano & H. Haughton (eds.), Object-oriented Specification Case Studies, Prentice-Hall, 1994, 236 pp. [QA76.64 .O28]

M. Nivat & J. C. Reynolds (eds.), Algebraic Methods in Semantics, Cambridge Univ. Press, 1985 -- see Meseguer & Goguen chapter on algebraic specification. [QA76.7 .A43]

I. Van Horebeek & J. Lewi, Algebraic Specifications in Software Engineering, Springer-Verlag, 1989, 350 pp. [QA76.758 .H67]

J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier Science, 1990 -- see Wirsing chapter on algebraic specification. [QA76 .H279]

P. G. Neumann, Computer Related Risks, Addison-Wesley, 1995, 367 pp. [QA76.5 .N424]

B. Potter, J. Sinclair & D. Till, An Introduction to Formal Specification and Z, Prentice-Hall, 1996, 434 pp. [QA76.76.D47 P68]

M. Wirsing, “Algebraic specification languages: an overview”, Recent Trends in Data Type Specification (E. Astesiano, G. Reggio & A. Tarlecki, eds.), Springer-Verlag, Lect. Notes in Comput. Sci., Vol. 906, 1994, 81-115. [QA76.9 .A23 W67]

R. Yeh (ed.), Current Trends in Programming Methodology, Vol. IV: Data Structuring, Prentice-Hall, 1978 -- see chaps 4 & 5 on algebraic specification. [QA76.6 .C87]