Comparing CRSs and HRSs (1993)

by V van Oostrom, F van Raamsdonk