Corda : An Introduction
The Java Virtual Machine Specification