Semantic Techniques in Quantum Computation
Three-Dimensional Integrated Circuit Layout (Distinguished Dissertations in Computer Science)
