Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)