Resources

FM’99 — Formal Methods

Author : Wing 

Springer

Access online

Finite Translation Planes

Author : Ostrom 

Springer

Access online