@article{journals/corr/abs-cs-0605043,
	title = {Continuations, proofs and tests},
	author = {Stefano Guerrini and Andrea Masini},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0605.html#abs-cs-0605043},
	volume = {abs/cs/0605043},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/248cd31c9b63f281ba6da53eecdcea1d6/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs/0605043}, date = {2008-01-02},
	keywords = {dblp }
}