@inproceedings{conf/msiw/Loewenstein89,
	title = {Reasoning about State Machines in Higher-Order Logic.},
	author = {Paul Loewenstein},
	booktitle = {Hardware Specification, Verification and Synthesis},
	crossref = {conf/msiw/1989},
	editor = {Miriam Leeser and Geoffrey Brown},
	pages = {67-89},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/msiw/msiw1989.html#Loewenstein89},
	volume = {408},
	year = {1989},
	biburl = {http://www.bibsonomy.org/bibtex/2add92bbec10a789167efc3c59ea67a4d/dblp},
	description = {dblp},
	isbn = {3-540-97226-9}, date = {2002-04-25},
	keywords = {dblp }
}