Deletion of Asynchronous logic (algebra)

Comment: Special algebraic methods are used in the design and verification of digital circuits that use asynchronous logic.  Several  document these methods, including http://books.google.com/books?id=20exJqyqX3QC,http://link.springer.com/article/10.1007%2FBF01068864,http://onlinelibrary.wiley.com/doi/10.1002/%28SICI%291520-684X%28199708%2928:8%3C33::AID-SCJ5%3E3.0.CO;2-M/abstract and a Google search for "asynchronous logic" + "algebra" will reveal more.  However, Sequential_logic#Asynchronous_sequential_logic|another article already documents asynchronous sequential logic (without all of the algebraic formulations).  Moreover, (due to my lack of technical expertise in this field), I'm not certain whether the algebraic formulations in the article under review reflect standardized, widespread, industry practice or just a narrow field of specialized research?  If the latter, it could be a case of Template:Overly_detailed|excessive detail for a general purpose encyclopedia which Sequential logic already covers (or could be edited to better cover) in a more general manner
Stance: comment
Cited policy: Wikipedia:Reliable sources (WP:RS)