Enforcing structural invariants using dynamic frames
Enforcing Structural Invariants Using Dynamic Frames
scientific article; zbMATH DE number 5897397