Iota: a concurrent XML scripting language with application to Home Area NetworksMJ: An imperative core calculus for Java and Java with effects
