https://people.mpi-sws.org/~dg/teaching/lis2014/modules/ifc-1-volpano96.pdf the Volpano-Smith-Irvine security type system assigns security levels to variables (like "high" and "low" security). You can either use type checking or information theory inequalities to verify properties like "information can't flow from low to high security."
tbh I was pretty alienated by this. this was mostly an essay about grief. I feel bad for her, of course, but I was kind of curious about the details of the physical/procedural experience and we don't get much of that.
some people feel grief about abortion, some don't. I've never had an abortion or miscarriage, but I've had children, and I can tell you, I didn't feel a seismic unprecedented maternal love in early pregnancy. I looked forward to having kids while pregnant, but in my mind a fetus has no lovable characteristics; it's all imagination and my own bodily symptoms! I felt love when my kids were born and loved/appreciated them increasingly over time as they gradually developed distinctive personalities. Some mothers don't even feel love towards newborns; it often "grows in" later.
https://www.rosemarykirstein.com/ Rosemary Kirstein's blog, author of the Steerswoman series. I love the books; the blog is mostly travel/event updates but she seems like a lovely person and has many SFF book recommendations.