XPi: a typed process calculus for XML messaging
scientific article; zbMATH DE number 5276391