Text this: Development of Metamodels as Logical and Algebraic Systems