Ein Sammelband aus dem neunten Workshop zur Softwaretechnik und theoretischen Informatik in Bangalore (1989), der Beiträge zu Algorithmen, Logik, formalen Modellen und deren Anwendungen präsentiert und damit die Grundlagen moderner Forschung festigt.