Savitch Ch 14
5-1 © 2004, D.A. Watt, University of Glasgow 5 Procedural Abstraction Proper procedures and function procedures. Parameters and arguments. Implementation.
CS535 Programming Languages Chapter - 10
1 How to transform an abstract analyzer into an abstract verifier.