A formal object specification technique using rule-based transformation of partial algebrasAnnika WagnerÉpuisé4,3Prévenez-moi