Towards verification of C programs: Axiomatic semantics of the C-kernel language
scientific article; zbMATH DE number 2183802