Towards Platform Independence of Mobile Applications. - Peter Klima; Stephan Selinger (EUROCAST (2), 2013)