Yeah, there is:
<a href="https:&#x2F;&#x2F;www.edx.org&#x2F;xseries&#x2F;systematic-program-design-0" rel="nofollow">https:&#x2F;&#x2F;www.edx.org&#x2F;xseries&#x2F;systematic-program-design-0</a><p>It uses the functional approach, that also Felleisen uses.