Tuxedo system release 4.1 product overview and master index (Prentice Hall, 1992)