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

by Robert J. K. Jacob
Citations:29 - 5 self