|   | by Daniel JacksonHardcover details (USA). details (UK). details (Germany). details (Canada). ISBN: 978-0-262-10114-1 ISBN-10: 0-262-10114-9 The MIT Press · 2006 | 
| See also: | ||
| 2016 | Paperback | Software Abstractions: Logic, Language, and Analysis (The MIT Press) | 
| 2012 | Hardcover | Software Abstractions: Logic, Language, and Analysis (The MIT Press) |