Rune Gustavsson Martin Fredriksson Process algebras as support for sustainable systems of services. 179-203 2005 16 Appl. Algebra Eng. Commun. Comput. 2-3 http://dx.doi.org/10.1007/s00200-005-0175-y db/journals/aaecc/aaecc16.html#GustavssonF05