Web page for the CafeOBJ specifictions and proof scores in the paper:
"Advances of Proof Scores in CafeOBJ"
by Kokichi Futatsugi

Download and unzip the zip file apsco.zip ,
and read the file "read-me.txt" in the directory "apsco".