Tilbage til artikeldetaljer On the compositional checking of validity Download Download PDF