A Theory of Combinational Programs. - Van Dung Tran; Jifeng He 001 (APSEC, 2001)