School of Informatics and Computing
Technical Report TR398:
Specification and Synthesis of Bounded Indirection
Kamlesh Rath, M.Esen Tuna and Steven D. Johnson
(Feb 1995), 15 pages
The abstact is not available. Please see the full paper.
PostScript (via FTP download)
The Trustees of