10 ms·

I've been interested in formal treatments of ledgers for a while now. Does anyone know if other work has been done in this area?