Behavior tables: a basis for system representation and transformational system synthesis. - Kamlesh Rath; M. Esen Tuna; Steven D. Johnson (ICCAD, 1993)

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. - Bhaskar Bose; M. Esen Tuna; Steven D. Johnson (ICCD, 1993)

Continuations in Hardware-Software Codesign. - M. Esen Tuna; Steven D. Johnson; Robert G. Burger (ICCD, 1994)

Specification and synthesis of bounded indirection. - M. Esen Tuna; Kamlesh Rath; Steven D. Johnson (Great Lakes Symposium on VLSI, 1995)

A Tutorial on Digital Design Derivation Using DRS. - Bhaskar Bose; M. Esen Tuna; Venkatesh Choppella (FMCAD, 1996)