コンピュータによる結び目理論入門
数理情報科学シリーズ14
出版 牧野書店 1996年10月