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

CafeOBJ specifictions and proof scores in the paper:
Download and unzip the file apsco.zip (zip file)
and read the "read-me.txt" file in the folder "apsco".