|
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Автор: Markus Müller-Olm Год: 1997 |
A categorical characterization of varieties Автор: Adamek J. Год: 2004 |
Boiler (Steam Generator) Год: 2011 |
Character Generator Год: 2011 |
Diesel generator Год: 2011 |