An algebra of power set type relations - Jaeschke, Gerhard (Heidelberg Scientific Center, 1982)