Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Approach to Ensuring Interoperability of Mobile Agents. In: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global. ISBN ISBN13: 9781615206551