3 ms·Designing for correctness – How to make illegal states unrepresentable (2012)2 points by turtlegrids 7y ago