Pivoting and extensions : in honor of A.W. Tucker - Tucker, Albert William, 1905- (North-Holland Pub. Co., 1974)