A note on the checking of interfaces between separately compiled modules. - Coenraad Bron; E. J. Dijkstra; T. J. Rossingh (ACM SIGPLAN Notices, 1985)