Dynamic interpretation and Hoare deduction / D.J.N. van Eijck, F.-J. de VriesA sound and complete calculus for update logic / D.J.N. van Eijck, F.-J. de VriesReasoning about update logic / D.J.N. van Eijck, F.-J. de VriesMeaningless terms in rewriting / R. Kennaway, V. van Oostrom, F.J. de VriesStrong completeness for Hoare logics of recursive processes: an infinitary approach / A. Ponse, F.-J. de VriesMeaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, Fer-Jan de VriesIntuitionistic free abelian groups / D. van Dalen