A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))Derek J. Andrews₹3,425
