1. Advanced transaction models in workflow contexts;Alonso,1996
2. Distributed data management in workflow environments;Alonso,1997
3. Functionality and limitations of current workflow management systems;Alonso;IEEE Expert,1997
4. The Java Programming Language;Arnold,1996
5. ExSpect: Executable Specification Tool Based on Formal Modeling Techniques,1995