Risa/Asir is available via http from
http://www.math.kobe-u.ac.jp/Asir
Go to the first, previous, next, last section, table of contents.