A System to Automatically Analyze Assembled Programs. - Vincent Hayward; A. Osorio (IEEE Trans. Software Eng., 1983)