@book{1985-conradi ,note={Note: Technical Report 25-85, The University of Trondheim, The Norweigian Institute of Technology} ,title={{Mechanisms and tools for separate compilation}} ,booktitle={{Mechanisms and tools for separate compilation}} ,author={Reider Conradi and Dag Heieraas Wanvik} ,year={1985} }