add Specification of Aplos