Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt: Forward build systems, formally. CPP 2022: 130-142