Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system. - Mary Zajicek; Ken W. Brownsley (SEKE, 1994)