Formal System Specification In Oose