Nikolaos Triantafyllou: Software engineering applications of the OTS/CafeOBJ algebraic specification method. National Technical University of Athens, Greece 2019