TUXEDO System release 4.1. FML programmer's guide (Prentice Hall, 1992)