Sahni, et al.. The Complexity of Design Automation Problems. Springer Netherlands, 1988, doi:10.1007/978-94-011-7056-7_17.