GFK-0467 is the Logicmaster reference manual. While it provides an excellent description of the ladder logic functions, it doesn't get into the Instruction List (IL) equivalents. I don't think there is a separate manual for IL instructions. The Proficy Machine Edition Help files are probably your best bet.
Shaulapto, if you don't have access to PME, send me a Private Message through this site and I will email you a copy of the IL Functions Help file.