On Formalizing the Description of Phase Transformations | Synapse