Assertions to better specify the amazon bug.

Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini

Browse the full SEKE paper archive.