@article{BSL8_4_Miller,
author = {David MILLER},
title = {Metric Postulates for Modular, Distributive, and Boolean Lattices},
journal = {Bulletin of the Section of Logic},
volume = {8},
number = {4},
year = {1979},
pages = {191--196}
}