Software Abstractions: Logic, Language, and Analysis by Daniel Jackson Back to product details page >