Automatic verification of pointer programs using monadic second-order logic (1997)

by J Jenson, M Jorgensen, N Klarkund, M Schwartzback
Venue:In Proceedings of the ACM SIGPLAN’97 Conference on Programming Language Design and Implementation