Referential BigSemantics implementation in Java.