JaWa: Java with Assertions. - Clemens Fischer; Dieter Meemken (Java-Informations-Tage, 1998)