Formal Semantics of Programming Languages: VDL | IBM Journals & Magazine | IEEE Xplore