Tomasz Terlikowski. Descriptional independence and the formal definition of sequential control structure. Fundamenta Informaticae, 54(4):369-385, 2003. [doi]
@article{Terlikowski03,
title = {Descriptional independence and the formal definition of sequential control structure},
author = {Tomasz Terlikowski},
year = {2003},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=54&issue=4&spage=369},
researchr = {https://researchr.org/publication/Terlikowski03},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {54},
number = {4},
pages = {369-385},
}