@incollection{marche:inria-00431399, TITLE = {{Towards Modular Algebraic Specifications for Pointer Programs: a Case Study}}, AUTHOR = {March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00431399}, BOOKTITLE = {{Rewriting, Computation and Proof}}, EDITOR = {Hubert Comon-Lundh and Claude Kirchner and H{\'e}l{\`e}ne Kirchner}, PUBLISHER = {{Springer}}, SERIES = {lecture notes in computer science}, VOLUME = {4600}, PAGES = {235-258}, YEAR = {2007}, HAL_ID = {inria-00431399}, HAL_VERSION = {v1}, }