“...International Conference on Formal Engineering Methods Manchester, Anglie)...”