Tuxedo system release 4.1 transaction manager programmer's guide (Prentice Hall, 1992)