Three-dimensional integrated circuit layout - Harter, Andrew (Distinguished dissertations in computer science, 1991)