Specification and correctness proof of a WAM extension with abstract type constraints
scientific article; zbMATH DE number 943663
scientific article