Stark2001'

BibTeX

@book{DBLP:books/sp/Stark2001,
  author    = {Robert F. St{\"a}rk and
               Joachim Schmid and
               Egon B{\"o}rger},
  title     = {Java and the Java Virtual Machine: Definition, Verification,
               Validation},
  publisher = {Springer},
  year      = {2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}