Elena Dubrova: Boolean and multiple-valued functions in combinational logic synthesis. University of Victoria, Canada 1997