Rigorous results for the Stigler-Luckock model for the evolution of an order book

Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.