title: xquery formal semantics : state and challenges p fankhauser 2001. authors: nan. venue: sigmod record. year: nan
title: on the formal semantics of statecharts 1987.0. authors: d harel , a pnueli , jp schmidt , r sherman. venue: proceedings of the 2nd ieee symposium on logic in computer & hellip ; ,. year: nan