Formal specifications for modeling and developing human/computer interfaces. - John W. Roach; M. Nickson (CHI, 1983)