A logic you can count on (2004)

by S Dal Zilio, D Lugiez, C Meyssonnier
Venue:In POPL ’04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages