Architecture : formal approach - WOJTOWICS, Jerzy (St. Martin's Press, 1986)