selected publications academic article A Functional Specification of the Alpha AXP TM Shared Memory Model. . 1995