SOCS Formal

January 24th 2003