Modelling Java Concurrency with Object-Z.

Roger Duke, Luke Wildman, Brad Long

Browse the full SEFM paper archive.