see Shinji Kajio

The original document is available at https://translatedsf.thierstein.net/tiki-index.php?page=Kajio+Shinji