Details:

Title
Author(s)	John Harrison
Type	Article in Journal
Abstract
Language	English
Journal
Series	Lecture Notes in Computer Science
Volume	4603
Pages	51-66
Publisher	Springer Verlag
Year	2007
Translation	No
Refereed	Yes