Lin Yu, Daniel J. Rosenkrantz. Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. In S. S. Ravi, Sandeep K. Shukla, editors, Fundamental Problems in Computing, Essays in Honor of Professor Daniel J. Rosenkrantz. pages 163-208, Springer, 2013. [doi]
Abstract is missing.