@inproceedings{CHI-1992-FrankGGF,
	author        = "Martin R. Frank and J. J. de Graaff and Daniel F. Gieskens and James D. Foley",
	booktitle     = "{Proceedings of the 10th ACM SIGCHI Conference on Human Factors in Computing Systems}",
	doi           = "10.1145/142750.143063",
	isbn          = "0-89791-513-5",
	pages         = "641--642",
	publisher     = "{ACM}",
	title         = "{Building User Interfaces Interactively Using Pre- and Postconditions}",
	year          = 1992,
}