Reviews

Software Abstractions: Logic, Language, and Analysis by Daniel Jackson