Z for concurrent systems. - Andrew Stephen Evans (1996)