Mural : a formal development supprot system - Jones C B (London Springer Verlag, 1991)
Keywords: Computer programming