Constructive graph labeling using double cosets. - Harold Brown; Larry Hjelmeland; Larry Masinter (Discret. Math., 1974)