Add link to "K-Java: A Complete Semantics of Java"
fix: format
Merge pull request #27 from cabrera/kjava

Add link to "K-Java: A Complete Semantics of Java"