이 논문은 precedence relation matrix를 linearization 하는데 linear precedence functions이 존재하지 않을 경우에 그 Relation matrix를 축약해서 Bertsch's Claim에 의하여 얻어지는 Value table보다 size에서 더 작은 precedence value table을 얻을 수 있는 algorithm을 소개하였다. 또한 이 축약된 value table에서도 storage economy와 error detection사이의 타협점을 줄 수 있는 strategy도 소개하였다.
새로 개량된 algorithm은 IBM 370/145 VM/CMS에 SPPGS의 subroutine으로서 장치하였다.