Greger Ottosson did his M.Sc. thesis on the subject: "An Extension of Erlang with Finite Domain Constraints" in 1995, it can be found at http://www.csd.uu.se/~greger