Formal reasoning about modules, reuse and their correctness (1996)

by C Kreitz, K K Lau, M Ornaghi
Venue:of Lecture Notes in Artificial Intelligence