Price: £39.00 UK (£31.00 to BCS members). Published: June 1994 ISBN 3-540-19884-9. 408 pages. 29 figures. 10 tables. Soft cover. Springer-Verlag Workshops in Computing series.

This volume contains papers presented at the Eighth Z User Meeting which was held in Cambridge from 29-30 June 1994. The meeting was organized by the Z User Group in association with BCS FACS, and was sponsored by BT, Logica and Praxis.

The papers cover a variety of topics relating to Z, including applications, education, object-orientation, semantics, methods, and concurrency. Invited papers were given by speakers from both academic and industrial backgrounds. The volume also includes a select Z bibliography (now searchable), and a section on comp.specification.z and Z FORUM frequently asked questions.

All titles in the Workshops in Computing series are available through your bookseller, or direct from: Springer-Verlag London Ltd Sales Office, Sweetapple House, Catteshall Road, Godalming, Surrey, GU7 3DJ, UK. Tel: +44-1483-418822; fax: +44-1483-415151; or email: postmaster@svl.co.uk

The invited speakers were David Garlan (CMU), Mike Gordon (Cambridge), Leslie Lamport (DEC SRC), Jim Woodcock (Oxford), Robert Worden (Logica), and Maurice Wilkes (Olivetti) as an after dinner speaker. The meeting was held 45 years to the week after the first ever European conference on computer science held at the same location in 1949, at which Prof. Wilkes' EDSAC computer was discussed. A small display of some historical memorabilia was on view at the meeting.

A report on the meeting is available. Tutorials were held on the two days preceding the meeting and a special session on educational issues was also held on 1 July 1994.