@misc{indiciaeab8c0e603102,
  title = {\$L\$-fuzzy strongest postcondition predicate transformers as \$L\$-idempotent linear or affine operators between semimodules of monotonic predicates},
  author = {Oleh Nykyforchyn and Dušan Repovš},
  year = {2012},
  doi = {10.1016/j.fss.2012.06.007},
  url = {https://arxiv.org/abs/1209.5224},
  note = {Source identifier: 1209.5224}
}