A programming notation for tactical reasoning | lit.salon