Instruction set processor specifications (ISPS): The notation and its applications | IEEE Journals & Magazine | IEEE Xplore