An assertional proof system for multithreaded Java door E. A'braha'm