topical media & game development
slide
:
Algebraic specification