Burchard von Braunmühl Rutger Verbeek 91-100 1979 conf/tcs/1979 Theoretical Computer Science db/conf/tcs/tcs1979.html#BraunmuhlV79