https://queues.pythonprogramminghelp.com/3-facts-about-formal-methods/