3 ms·Software Foundations: intro into mathematical underpinnings of reliable software2 points by espeed 8y ago