@phdthesis{Mays83,
  author	= {Mays, Eric},
  year		= {1983},
  title		= {Model Temporal Logic for Reasoning about Change},
  note		= {Report number MS-CIS-83-29},
  school	= {The Moore School, University of Pennsylvania}
}