An experimental study of miscibility development and evaluation and validation of equation of state of Sirte basin, Libya, reservoir oil/CO2 systems : Part 2. Evaluation and validation of EOS - Krizmanić, Karlo (Array, 1996)