Tuxedo system release 4.1 transaction manager reference manual (Prentice Hall, 1992)