See http://semantik.Informatik.Uni-Oldenburg.DE/~fischer/cspoz2java.ps This combines oz (object oriented extension of Z), CSP and Java. The link to Java is via "jass", assertions annotating the java code. I have barely done more that look at the contents page, but there seems to be much overlap with WoTUG interests. Adrian -- Dr A E Lawrence (from home)