I'll discuss an assertional proof method for reasoning about the multi-threaded flow of control in Java. This method combines in a modular manner two well-known proof-methods: the Owicki-Gries method for shared-variable concurrency and the Apt-Francez- de Roever method for CSP.