Automating Þrst-order relational logic (2000)

by D Jackson
Venue:In Proc. ACM SIGSOFT Eighth International Symposium on Foundations of Software Engineering