System ST /spl beta/-reduction and completeness | IEEE Conference Publication | IEEE Xplore