[1] Java Archive - auf pkzip/GZIP basierende Komprimierung/Archivierung unter Java zur effizienteren Transferierung von Klassen

[2] Journal of Automated Reasoning (informationswissenschaftl. Veröffentlichungen)

[3] jar - Java Archive Tool (http://www.desy.de/cgi-bin/man-cgijar)