[comp.specification] VDM Book

cliff@cs.man.ac.uk (Cliff Jones) (08/14/90)

Some interest has been expressed in the second edition of my book:

Systematic Software Development using VDM

The "Teaching Notes" are (at last) available from:

	Ms. Helen Martin,
	Prentice-Hall International
	Wolsey House, Wolsey Road
	Hemel Hempstead
	Hertfordshire
	HP2 4SS
	England

FAX: ++44 442-52544

cliff jones