A Relatively Complete Calculus for Structured Heterogeneous Specifications.

Till Mossakowski, Andrzej Tarlecki

Browse the full FOSSACS paper archive.