Descriptional independence and the formal definition of sequential control structure

Tomasz Terlikowski. Descriptional independence and the formal definition of sequential control structure. Fundamenta Informaticae, 54(4):369-385, 2003. [doi]

Abstract

Abstract is missing.