Daggitt, M., Kokke, W., Ślusarz, N., Atkey, R., Casadio, M., & Komendantskaya, E. (2025). Vehicle (Version 0.19.0) [Computer software]. https://github.com/vehicle-lang/vehicle