Specifying restrictions on imperative programming languages for use in a distributed embedded environment

Andrew D. Hutcheon, Andy J. Wellings. Specifying restrictions on imperative programming languages for use in a distributed embedded environment. IEE Proceedings - Software, 5(2):93-104, 1990. [doi]

Abstract

Abstract is missing.