On the Formalisation of an Application Integration Language Using Z Notation. - Mauri J. Klein; Sandro Sawicki; Fabricia Roos-Frantz; Rafael Z. Frantz (ICEIS (1), 2014)