Book

Program verification

by Timothy R. Colburn, James H. Fetzer