3 ms·PDVL – Transaction Oriented Programming, Design and Verification Language (2018)3 points by peter_d_sherman 4y ago