Using Formal Specifications in the Design of a Human-Computer Interface (1981)

by Robert J. K. Jacob
Citations:31 - 6 self