Rigorous Development of a Distributed Calendar System. - Ulla Gamwell Dawids; Hans Henrik Løvengreen (PARLE (2), 1987)