@book{67804,
	author = {Furia, Carlo A.},
	title = {Modeling time in computing /},
	publisher = {Springer,},
	year = {c2012},
	series = {Monographs in theoretical computer science},
	address = {Heidelberg, Germany :}
}