Text this: Formal specification approach in designing database system using Z