This is the official specification of The Java Virtual Machine. ISBN-10: 0201432943 ISBN-13: 978-0201432947