@techreport{shao99:fullsigtr,
author="Zhong Shao",
title="Transparent Modules with Fully Syntactic Signatures (Extended Version)",
institution="Dept. of Computer Science, Yale Univ.",
address="New Haven, CT", number="YALEU/DCS/RR-1181", 
month="June", year=1999 
}