Java and the Java Virtual Machine — Definition, Verification, Validation

Robert Stärk, Joachim Schmid, Egon Börger
Springer Verlag, 2001
Printed
CS