The course notes here are a full textbook and cover some of the same topic https://www.cs.cornell.edu/courses/cs3110/2018sp/ https://www.cs.cornell.edu/courses/

The course notes here are a full textbook and cover some of the same topic https://www.cs.cornell.edu/courses/cs3110/2018sp/ https://www.cs.cornell.edu/courses/cs3110/2018sp/ (see lecture 9) the ideas are the same, though ASPD uses CLU as a lang example you can adopt the ideas to any spec. I still read 1980s programming texts, such as the Unix Programming Environment which taught me awk and sh scripts. You could also look up that book on google scholar to follow the citations (800+) and change the results year to find modern papers/books on the same subject. Matthias of Little Schemer author fame also has a course in software development covering specs http://www.ccs.neu.edu/home/matthias/4500-f18/2.md http://www.ccs.neu.edu/home/matthias/4500-f18/2.md or any school https://www.cs.cmu.edu/~ckaestne/15313/2018/index.html#schedule https://www.cs.cmu.edu/~ckaestne/15313/2018/index.html#sched...