Stepwise refinement of heap-manipulating code in Chalice
scientific article; zbMATH DE number 6148336
scientific article