A formal object specification technique using rule-based transformation of partial algebrasAnnika WagnerUitverkochtHou mij op de hoogte