Reasoning about recursive procedures with parameters (2003)

by R J Back, V Preoteasa
Venue:In Proceedings of the 2003 workshop on Mechanized