1. 2018. Serverless Architecture Market Size Share. Industry Report 2018--2025. https://www.grandviewresearch.com/industry-analysis/serverless-architecture-market. 2018. Serverless Architecture Market Size Share. Industry Report 2018--2025. https://www.grandviewresearch.com/industry-analysis/serverless-architecture-market.
2. 2018. Serverless. The Serverless Application Framework powered by AWS Lambda API Gateway and more. https://serverless.com/. 2018. Serverless. The Serverless Application Framework powered by AWS Lambda API Gateway and more. https://serverless.com/.
3. Bowen Alpern and Fred B Schneider. 1985. Defining liveness. Information processing letters 21 4 (1985) 181--185. Bowen Alpern and Fred B Schneider. 1985. Defining liveness. Information processing letters 21 4 (1985) 181--185.
4. Streaming transducers for algorithmic verification of single-pass list-processing programs