A Case Study on Design for Provability (1995)

by P Curzon, I M Leslie
Venue:In Proceedings of International Conference on Engineering of Complex Computer Systems, Fort Lauderdale