Tilbage til artikeldetaljer Combining Algebraic and Set-Theoretic Specifications (Extended Version) Download Download PDF