Books Authored by Manfred Broy