A paper I wrote about implementation of sematics in Java.