@inproceedings{CoglioEA04, author = {A. Coglio and M. Huisman and J. Kiniry and P. M\"uller and E. Poll}, title = {Formal Techniques for {J}ava-Like Programs {(FTfJP)}}, booktitle = {Object-Oriented Technology. {ECOOP}~2004 Workshop Reader}, year = {2005}, editor = {J. Malenfant and B. M. {\O}stvold}, series = {Lecture Notes in Computer Science}, volume = {3344}, pages = {76--83}, publisher = {Springer-Verlag}, urltopdf = {http://www.springerlink.com/content/l226650126t073u0/} }