The logic of separation logic: models and proofs
scientific article; zbMATH DE number 7850756
scientific article