implemented Java references expressed as arbitrary terms