proving with function abstractions and memories (1989)

by transforming Programming
Venue:In Proc. Sixteenth International EATCS Colloquium on Automata, Languages and Programming