jContractor: A reflective Java library to support design by contract (1999)

by M Karaorman, U Hölzle, J L Bruno
Venue:In Reflection ’99: Proceedings of the Second International Conference on Meta-Level Architectures and Reflection