@inproceedings{SEKE-1993-Paterno,
	author        = "Fabio Paternò",
	booktitle     = "{Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "314--318",
	publisher     = "{Knowledge Systems Institute}",
	title         = "{Definition of Properties of User Interfaces Using Action-Based Temporal Logic}",
	year          = 1993,
}