Text this: Mathematical frameworks for component software