From process algebra to java code (2002)

by Andrew Phillips, Susan Eisenbach, Daniel Lister
Venue:In ECOOP Workshop on Formal Techniques for Java-like Programs