1
A Programming logic : with an introduction to the PL/CV verifier /
Book
Other Personal Name(s): ...Johnson, Scott D....