Software Abstractions: Logic, Language and Analysis (2006)

by D Jackson