Building User Interfaces Interactively Using Pre- and Postconditions. - Martin R. Frank; J. J. de Graaff; Daniel F. Gieskens; James D. Foley (CHI, 1992)

Controlling User Interface Objects Through Pre- and Postconditions. - Daniel F. Gieskens; James D. Foley (CHI, 1992)