CSL `87 : 1st workshop on computer science logic Karslruhe, FRG, October 12-16, 1987 proceedings - Boerger, E. (Berlin ; Heidelberg ; New York : Springer Verlag, 1988)