@inproceedings{ZHL+96,
title = {Modular Completeness: Integrating the Reuse of Specified Software in Top-Down Program Development },
author = {Zwiers, Job and Hannemann, Ulrich and Lakhnech, Yassine and Stomp, Frank and De Roever, Willem-Paul},
year = {1996},
booktitle = {Formal Methods Europe, FME'96 Symposium},
series = {Lecture Notes in Computer Science},
volume = {1051},
team = {DCS},
}
