3 ms·SPIN in Modula-2: https://www-spin.cs.washington.edu/ https://www-spin.cs.washington.edu/by twic 2y agoSPIN in Modula-2: https://www-spin.cs.washington.edu/ https://www-spin.cs.washington.edu/