»
Qian, Zhenyu 
Universität Bremen - Java security, extensions, and semantics; object-oriented, functional, concurrent, logic programming languages; specification languages; compiler construction; program specification, construction and transformation; object-oriented a
http://www.informatik.uni-bremen.de/~qian/qian.html