Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

Written by D. John Cooke