INTRODUCTION TO FORMAL SPECIFICATION AND Z - POTTER AND ETC. (PEARSON, 1996)