INSTRUCTIONS FOR TYPESETTING CAMERA-READY MANUSCRIPTS USING COMPUTER SOFTWARE. (International Journal of Foundations of Computer Science, 2005)