Formal Specification of a Mental Health Delivery System

Richard A. Kemmerer. Formal Specification of a Mental Health Delivery System. In DBSec. pages 341-351, 1989.

Abstract

Abstract is missing.