Ryszard Janicki Ridha Khédri On a formal semantics of tabular expressions. 189-213 2001 39 Sci. Comput. Program. 2-3 db/journals/scp/scp39.html#JanickiK01