推薦此記錄: Formalisation of the component specification