An operational approach to computer system specification using applicative high-order logic.
Media
Part of An operational approach to computer system specification using applicative high-order logic.
- Title
- An operational approach to computer system specification using applicative high-order logic.
- Identifier
- AAI9304677:pdf