Logical foundations of CafeOBJ
scientific article; zbMATH DE number 1780623
scientific article