PACTOLUS

A language for digital simulation.