Software Abstractions: Logic, Language, and Analysis (2006)

by D Jackson