Non-interference in JML (2005)

by M Warnier, M Oostdijk