M. Esen Tuna, Kamlesh Rath, Steven D. Johnson. Specification and synthesis of bounded indirection. In 5th Great Lakes Symposium on VLSI (GLS-VLSI 95), March 16-18, 1995, The State University of New York at Buffalo, USA. pages 86-89, IEEE Computer Society, 1995. [doi]
Abstract is missing.