Declarative reasoning about the structure object-oriented systems (1998)

by Roel Wuyts
Venue:In Proceedings of the TOOLS USA ’98 Conference