3 ms·

Yes. IIRC Softwarefoundations grew out of a course the author of TAPL has been teaching at U Penn.