 The Java Virtual Machine Specification Java SE 25

Primary source: docs.oracle.com/javase/specs/jvms/se25/html/jvms-2.html

Locator: Chapter2, §§2.5–2.6 and2.13, abstract machine, frames and implementation freedom.