Program Development by Specification and Transformation The PROSPECTRA Methodology, Language Family, and System Hoffmann Berthold Heftet / 1993 / Engelsk
Spatial Cognition IV, Reasoning, Action, Interaction International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers Freksa Christian Heftet / 2005 / Engelsk
