All the icode documents I have (other than compiler source code) is
in https://gtoal.com/imp77/icode/