Guy H. Broadfoot and P. J. Hopcroft, 2005. Introducing formal methods into industry using Cleanroom and CSP.Chybí název periodika! Dedicated Systems e-Magazine. S2CID14066854.Chybí povinný parametr: V šabloně {{Citace periodika}} je nutno určit zdrojové "periodikum" odkazu!