Constructive semantics for instantaneous reactions
scientific article; zbMATH DE number 5865583