1
by Cooke
Published 2005
...Formal approaches to computing and information technology...