A Functorial Approach to Refinement - Kinoshita, Watanabe(Correct)
Approach to Re nement Yoshiki Kinoshita and Hiroshi Watanabe Semantics Group Electrotechnical
Approach to Refinement Yoshiki Kinoshita, Hiroshi Watanab www.etl.go.jp/~hirowata/publication/src/wra.ps
Design of an RWC-1 Testbed System - Sakai, Matsuoka, Okamoto, Yokota.. (1995)(Correct)
of an RWC-1 Testbed System Shuichi SAKAI 3 Hiroshi Matsuoka, Kazuaki Okamoto, Takashi Yokota, Hideo
Design of an RWC-1 Testbed System Shuichi Sakai, Hiroshi Matsuoka, Kazuaki Okamoto, Takashi Yokota, Hideo jisp.cs.nyu.edu/RWC/rwcp/people/yk/rwcp-doc/papers/1995/P-06_111.ps.gz