A personal summary of the Gries-Owicki theory