宮尾亘／著 -- 日本理工出版会 -- １９９５．４ -- 427

宮尾亘／著 -- 日本理工出版会 -- １９９８．３ -- 549

宮尾亘／著 -- 朝倉書店 -- １９９３．３ -- 501.22