An overview of the K semantic framework
scientific article; zbMATH DE number 5774335