Hideki Yasukawa Hiroshi Tsuda Kazumasa Yokota Objects, Properties, and Modules in QUIXOTE. 257-268 1992 FGCS db/conf/fgcs/fgcs92.html#YasukawaTY92