BibTeX record journals/fuin/Terlikowski03

download as .bib file

@article{DBLP:journals/fuin/Terlikowski03,
  author    = {Tomasz Terlikowski},
  title     = {Descriptional independence and the formal definition of sequential
               control structure},
  journal   = {Fundam. Informaticae},
  volume    = {54},
  number    = {4},
  pages     = {369--385},
  year      = {2003}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics