Văn bản này: Mathematical frameworks for component software