Anthony C. Bloesch Edmund Kazmierczak Peter Kearney Owen Traynor Cogito: a Methodology and System for Formal Software Development. 599-617 1995 5 International Journal of Software Engineering and Knowledge Engineering 4 http://dx.doi.org/10.1142/S0218194095000290 db/journals/ijseke/ijseke5.html#BloeschKKT95