Oversettelse Av Formal Implementation På Forskjellige Språk