changed reference to hofmanns syntax and semantics