Two guarded recursive powerdomains for applicative simulation
scientific article; zbMATH DE number 7959053
scientific article