Sergei M. Abramov, Robert Glück
From Standard to Non-Standard Semantics by Semantics Modifiers
FLOPS, 2001.
@article{FLOPS-J2-1998-AbramovG01,
author = "Sergei M. Abramov and Robert Glück",
doi = "10.1142/S0129054101000448",
journal = "{International Journal of Foundations of Computer Science}",
number = 2,
pages = "171--211",
publisher = "{World Scientific}",
title = "{From Standard to Non-Standard Semantics by Semantics Modifiers}",
volume = 12,
year = 2001,
}