A Software Development Environment for Law-Governed Systems.

Naftaly H. Minsky David Rozenshtein A Software Development Environment for Law-Governed Systems. 65-75 1988 Software Development Environments (SDE) db/conf/sde/sde88.html#MinskyR88