Book

The verification challenge

by Richard A. Scribner