Book

Analysis of predicated code

by Richard Johnson